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