TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 20.

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

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

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

Loew, Tobias ; Streicher, Thomas (2006)
Universality results for models in locally boolean domains.
Conference or Workshop Item, Bibliographie

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

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

Lietz, Peter ; Streicher, Thomas (2002)
Impredicativity entails untypedness.
In: Mathematical structures in computer science, 12
Article, 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
Article, Bibliographie

Reus, Bernhard ; Streicher, Thomas (2002)
Semantics and logics of objects.
Conference or Workshop Item, Bibliographie

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

Marz, Michael ; Rohr, A. ; Streicher, Thomas (1999)
Full abstraction and universality via realisability.
Conference or Workshop Item, 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
Article, Bibliographie

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

Reus, B. ; Streicher, Thomas (1999)
Semantics and logics of objects.
Conference or Workshop Item, Bibliographie

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

Hofmann, Martin ; Streicher, Thomas (1998)
The groupoid interpretation of type theory.
Conference or Workshop Item, Bibliographie

Reus, B. ; Streicher, Thomas (1997)
General synthetic domain theory - a logical approach.
Conference or Workshop Item, Bibliographie

Hofmann, Martin ; Streicher, Thomas (1997)
Continuation models are universal for lambda-mu calculus.
Conference or Workshop Item, Bibliographie

Escardó, M. H. ; Streicher, Thomas (1997)
Induction and recursion on the partial real line via biquotients of bifree algebras.
Conference or Workshop Item, Bibliographie

Altenkirch, Thorsten ; Hofmann, Martin ; Streicher, Thomas (1995)
Categorical reconstruction of a reduction free normalization proof.
Conference or Workshop Item, Bibliographie

This list was generated on Sat Apr 20 00:42:32 2024 CEST.