17 search results - page 1 / 4 » tlca 2005 |
72
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
77
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
84
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
110
click to vote
TLCA
2005
Springer
15 years 6 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...
103
Voted
TLCA
2005
Springer
15 years 6 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 ...