24 search results - page 2 / 5 » csl 2002 |
CSL
2002
Springer
13 years 10 months ago
2002
Springer
CSL
2002
Springer
13 years 10 months ago
2002
Springer
d Abstract) Marcin Jurdzi
CSL
2002
Springer
13 years 10 months ago
2002
Springer
Abstract. Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped -calculus and G
CSL
2002
Springer
13 years 10 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
CSL
2002
Springer
13 years 10 months ago
2002
Springer
Abstract. We show that Gentzen's sequent calculus admits generalization of semi-terms of particularly simple form. This theorem extends one of the main results in [BS95] to la...