3690 search results - page 14 / 738 » Computation with classical sequents |
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
ECCC
2008
13 years 10 months ago
2008
While closed timelike curves (CTCs) are not known to exist, studying their consequences has led to nontrivial insights in general relativity, quantum information, and other areas....
ENTCS
2007
13 years 10 months ago
2007
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
CIE
2010
Springer
13 years 9 months ago
2010
Springer
STOC
2001
ACM
14 years 10 months ago
2001
ACM
