Gerhardy, Philipp
-
BRICS Report Series Nr. 32 (2003): RS-32 Extracting Herbrand Disjunctions by Functional Interpretation - Artikler
Extracting Herbrand Disjunctions by Functional Interpretation
Resumé PDF (English) -
BRICS Report Series Nr. 46 (2003): RS-46 The Role of Quantifier Alternations in Cut Elimination - Artikler
The Role of Quantifier Alternations in Cut Elimination
Resumé PDF (English) -
BRICS Report Series Nr. 31 (2004): RS-31 Strongly Uniform Bounds from Semi-Constructive Proofs - Artikler
Strongly Uniform Bounds from Semi-Constructive Proofs
Resumé PDF (English) -
BRICS Report Series Nr. 32 (2004): RS-32 A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions - Artikler
A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions
Resumé PDF (English) -
BRICS Report Series Nr. 21 (2005): RS-21 General Logical Metatheorems for Functional Analysis - Artikler
General Logical Metatheorems for Functional Analysis
Resumé PDF (English)