On quantum programming via dependent linear type theory:
On quantum programming via dependent linear type theory with Quipper:
On dependent linear type theory and categorical semantics for versions of “Proto-Quipper”:
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger, A biset-enriched categorical model for Proto-Quipper with dynamic lifting [arXiv:2204.13039]
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger, Proto-Quipper with dynamic lifting [arXiv:2204.13041]
Frank (Peng) Fu, Proto-Quipper with Dynamic Lifting, talk at CQTS (23 Oct 2023) [video:YT]
Last revised on November 18, 2023 at 14:44:05. See the history of this page for a list of all contributions to it.