16 search results - page 1 / 4 » tlca 2007 |
TLCA
2007
Springer
13 years 10 months ago
2007
Springer
TLCA
2007
Springer
13 years 10 months ago
2007
Springer
TLCA
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...
TLCA
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
TLCA
2007
Springer
13 years 10 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...