Deutsch

Lietz, Peter ; Streicher, Thomas (2002)
Impredicativity entails untypedness.
In: Mathematical structures in computer science, 12
Artikel, Bibliographie

Englisch

Kohlenbach, Ulrich ; Streicher, Thomas (2007)
Shoenfield is Goedel after Krivine.
In: Mathematical Logic Quarterly : MLQ., 53
Artikel, Bibliographie

Streicher, Thomas (2006)
Domain-Theoretic Foundations of Functional Programming.
Buch, Bibliographie

Gruenhage, Gary ; Streicher, Thomas (2006)
Quotients of countably based spaces are not closed under sobrification.
In: Mathematical Structures in Computer Science, 16
Artikel, Bibliographie

Loew, Tobias ; Streicher, Thomas (2006)
Universality results for models in locally boolean domains.
Konferenzveröffentlichung, Bibliographie

Hofmann, Martin ; Oosten, Jaap van ; Streicher, Thomas (2006)
Well-foundedness in realizability.
In: Archive for mathematical logic, 45
Artikel, Bibliographie

Hofmann, Martin ; Streicher, Thomas (2002)
Completeness of continuation models for lambda my-calculus.
In: Information and computation, 179
Artikel, Bibliographie

Bunge, Marta ; Funk, Jonathan ; Jibladze, Mamuka ; Streicher, Thomas (2002)
The Michael completion of a topos spread.
In: Journal of pure and applied algebra, 175
Artikel, Bibliographie

Reus, Bernhard ; Streicher, Thomas (2002)
Semantics and logics of objects.
Konferenzveröffentlichung, Bibliographie

Hofmann, M. ; Streicher, Thomas (2002)
Completeness of continuation models for gamma(mu)-calculus.
In: Information and computation, 179
Artikel, Bibliographie

Marz, Michael ; Rohr, A. ; Streicher, Thomas (1999)
Full abstraction and universality via realisability.
Konferenzveröffentlichung, Bibliographie

Escardó, M. H. ; Streicher, Thomas (1999)
Induction and recursion on the partial real line with applications to Real PCF.
In: Theoretical computer science, 210
Artikel, Bibliographie

Streicher, Thomas (1999)
Inductive construction of repletion.
In: Applied categorical structures, 7
Artikel, Bibliographie

Reus, B. ; Streicher, Thomas (1999)
Semantics and logics of objects.
Konferenzveröffentlichung, Bibliographie

Streicher, Thomas ; Reus, (1998)
Classical logic, continuation semantics and abstract machines.
In: Journal of functional programming. 8 (1998), S. 543-572
Artikel, Bibliographie

Hofmann, Martin ; Streicher, Thomas (1998)
The groupoid interpretation of type theory.
Konferenzveröffentlichung, Bibliographie

Reus, B. ; Streicher, Thomas (1997)
General synthetic domain theory - a logical approach.
Konferenzveröffentlichung, Bibliographie

Hofmann, Martin ; Streicher, Thomas (1997)
Continuation models are universal for lambda-mu calculus.
Konferenzveröffentlichung, Bibliographie

Escardó, M. H. ; Streicher, Thomas (1997)
Induction and recursion on the partial real line via biquotients of bifree algebras.
Konferenzveröffentlichung, Bibliographie

Altenkirch, Thorsten ; Hofmann, Martin ; Streicher, Thomas (1995)
Categorical reconstruction of a reduction free normalization proof.
Konferenzveröffentlichung, Bibliographie