- in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Ackermann and Goodstein go functorial" (2021)
- in: Kohlenbach U., López-Acedo G. and Nicolae A.
"A uniform betweenness property in metric spaces and its role in the quantitative analysis of the Lion-Man game" (2021)
- in: Kreuzer A.P. and Kohlenbach U.
"Term extraction and Ramsey's theorem for pairs." (2012) - in: Kreuzer A.P. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009)
"Short Proofs for Slow Consistency" (2020)
"Computability in Basic Quantum Mechanics." (2018)
"Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (2007)
- in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) - in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997)
"Effective bounds from proofs in abstract functional analysis" (2008)
"Views of distributed systems." (1987)
"A universality theorem for PCF with recursive types, parallel-or and . " (1994)
"On the Halpern method with adaptive anchoring parameters" (2024)
- in: Bénabou J. and Streicher T.
"Partial Toposes" (2003) - in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) - in: Burmeister P.
"Galois Connections for Partial Algebras" (2004) - in: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999) - in: Keimel K., Rosenbusch A.P. and Streicher T.
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011)
"Structures of Bounded Partition Width" (2003)
"Patterns of resemblance and Bachmann-Howard fixed points" (2022)
"Relative Computability and Uniform Continuity of Relations" (2013)
- in: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999) - in: Streicher T.
"A universality theorem for PCF with recursive types, parallel-or and . " (1994)
- in: Grohe M. and Otto M.
"Pebble games and linear equations" (2015) - in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012)
"Sheaf Representations of algebraic systems. A personal historical account" (2013)
"Krivine's Classical Realizability from a Categorical Perspective" (2013)
"Logical theories and compatible operations" (2007)
- in: Kohlenbach U.
"Higher order reverse mathematics" (2005) - in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002)
- in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992) - in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992)
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
- in: Kohlenbach U. and Pischke N.
"Proof theory and nonsmooth analysis" (2023) - in: Kohlenbach U. and Leuştean L.
"On the computational content of convergence proofs via Banach limitd." (2012)
- in: Kohlenbach U.
"Interview on the Philosophy of Mathematics" (2008) - in: Kohlenbach U.
"Interview on the Philosophy of Mathematics" (2008)
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
