Kohlenbach, Ulrich ; Gerhardy, Philipp (2006)
Strongly uniform bounds from semi-constructive proofs.
In: Annals of Pure and Applied Logic, 141
Artikel, Bibliographie

Gerhardy, Philipp ; Kohlenbach, Ulrich (2005)
Extracting Herbrand disjunctions by functional interpretation.
In: Archive for Mathematical Logic, 44
Artikel, Bibliographie

Gerhardy, Philipp ; Kohlenbach, Ulrich (2005)
General logical metatheorems for functional analysis.
In: BRICS report series : RS / Basic Research in Computer Science (BRICS), Department of Computer Science, University of Aarhus. - (ISSN: 0909-0878), 21
Artikel, Bibliographie