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...

Cijeli opis

Bibliografski detalji

Glavni autori:	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 pristup:	https://lmcs.episciences.org/6930/pdf
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!