Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract.

Peng Fu, Kohei Kishida, Peter Selinger

Browse the full LICS paper archive.