Quantum PL & Verification Bibliography
About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX
BibTeX
bibtex2html
BibBase
Mailing List
Light
Dark
Automatic
Peng Fu
Latest
Proto-Quipper with Dynamic Lifting
Linear Dependent Type Theory for Quantum Programming Languages
A biset-enriched categorical model for Proto-Quipper with dynamic lifting
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper
Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract
Cite
×