17 search results - page 1 / 4 » tlca 2005 |
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
TLCA
2005
Springer
14 years 2 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...
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...