# Publications

Export 15 results:
Filters: Author is Reinhard Kahle  [Clear All Filters]
2016
: Advances in Proof Theory. Birkhäuser (2016).
2015
: A proof-theoretic analysis of theories for stratified inductive definitions. In: Gentzen's Centenary: The Quest for Consistency. Springer (2015).
2001
Studer, T.: Constructive foundations for Featherweight Java. In: Proceedings of the International Seminar on Proof Theory in Computer Science. pp. 202-238. Springer (2001).
: Formalizing non-termination of recursive programs. Journal of Logic and Algebraic Programming. 49, 1-14 (2001).
: Universes in explicit mathematics. Annals of Pure and Applied Logic. 109, 141-162 (2001).
2000
: A theory of explicit mathematics equivalent to ${ \mathsf{ID} }_1$. In: Proceedings of Computer Science Logic. pp. 356-370. Springer (2000).
Kahle, R.: N-strictness in applicative theories. Archive for Mathematical Logic. 39, 125-144 (2000).
1999
: On applicative theories. In: Logic and Foundations of Mathematics. pp. 83-92. Kluwer (1999).
: The proof-theoretic analysis of transfinitely iterated fixed point theories. The Journal of Symbolic Logic. 64, 53-67 (1999).
1998
Kahle, R.: Frege structures for partial applicative theories. Journal of Logic and Computation. 8, 683-700 (1998).