On some dependent linear type theory and categorical semantics for the Quipper quantum programming language:
Francisco Rios, Peter Selinger, A Categorical Model for a Quantum Circuit Description Language, EPTCS 266 (2018) 164-178 [arXiv:1706.02630, doi:10.4204/EPTCS.266.11]
Francisco Rios, On a Categorically Sound Quantum Programming Language for Circuit Description, Dalhousie University (2021) [hdl:10222/80771]
Last revised on September 11, 2023 at 12:31:46. See the history of this page for a list of all contributions to it.