QPEL: Quantum Program and Effect Language
Paper in proceeding, 2014
effectus theory
quantum computing
type theory
Author
Robin Adams
Radboud University
Published in
Electronic Proceedings in Theoretical Computer Science
2075-2180 (ISSN)
Vol. 172 p. 133-153Conference
Kyoto, Japan, 2014-06-03 - 2014-06-05
Categorizing
Subject Categories (SSIF 2011)
Algebra and Logic
Computer Science
Areas of Advance
Information and Communication Technology
Roots
Basic sciences
Identifiers
DOI
10.4204/EPTCS.172.10