The Arrow Calculus as a Quantum Programming Language

Simple item page
dc.creatorVizzotto, Juliana Kaizer
dc.creatorBois, Andre Rauber Du
dc.creatorSabry, Amr
dc.date2009-03-09
dc.date2009-04-10
dc.date.accessioned2026-07-07T13:01:53Z
dc.date.available2026-07-07T13:01:53Z
dc.descriptionWe express quantum computations (with measurements) using the arrow calculus extended with monadic constructions. This framework expresses quantum programming using well-understood and familiar classical patterns for programming in the presence of computational effects. In addition, the five laws of the arrow calculus provide a convenient framework for equational reasoning about quantum computations that include measurements.
dc.description15 pages, 1 figure, submitted to WOLLIC 2009
dc.identifierhttps://arxiv.org/abs/0903.1489
dc.identifierhttp://arxiv.org/abs/0903.1489
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/226296
dc.subjectQuantum Physics
dc.titleThe Arrow Calculus as a Quantum Programming Language
dc.typetext

Files

Collections

arXiv