Linear Dependent Type Theory for Quantum Programming Languages

Modern quantum programming languages integrate quantum resources and classical control. They must, on the one hand, be linearly typed to reflect the no-cloning property of quantum resources. On the other hand, high-level and practical languages should also support quantum circuits as first-class cit...

Popoln opis

Bibliografske podrobnosti

Principais autores:	Peng Fu, Kohei Kishida, Peter Selinger
Format:	Artigo
Jezik:	Inglês
Izdano:	Logical Methods in Computer Science e.V. 2022-09-01
Serija:	Logical Methods in Computer Science
Teme:	computer science - programming languages computer science - logic in computer science mathematics - category theory quantum physics
Online dostop:	https://lmcs.episciences.org/6930/pdf
Oznake:	Označite Brez oznak, prvi označite!