Proof Theory in Computer Science

Keyphrases

Publications

2001

Lew Gordeev
Proof Theory and Post-turing Analysis. Proof Theory in Computer Science (2001)
Kosta Dosen, Zoran Petric
Coherent Bicartesian and Sesquicartesian Categories. Proof Theory in Computer Science (2001)
Jesse Alt, Sergei N. Artëmov
Reflective lambda-Calculus. Proof Theory in Computer Science (2001)
Birgit Elbl
Modeling Meta-logical Features in a Calculus with Frozen Variables. Proof Theory in Computer Science (2001)
Peter H. Schmitt
Iterate Logic. Proof Theory in Computer Science (2001)
Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn
Linear Ramified Higher Type Recursion and Parallel Complexity. Proof Theory in Computer Science (2001)
Ralph Matthes
Interpolation for Natural Deduction with Generalized Eliminations. Proof Theory in Computer Science (2001)
Thomas Studer
Constructive Foundations for Featherweight Java. Proof Theory in Computer Science (2001)
Isabel Oitavem
Implicit Characterizations of Pspace. Proof Theory in Computer Science (2001)
Peter Dybjer, Anton Setzer
Indexed Induction-Recursion. Proof Theory in Computer Science (2001)
Ulrich Berger
. Proof Theory in Computer Science (2001)
Matthias Baaz, Christian G. Fermüller
A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity. Proof Theory in Computer Science (2001)
Matthias Baaz, Alexander Leitsch
Comparing the Complexity of Cut-Elimination Methods. Proof Theory in Computer Science (2001)