Searching for authors named "Thomas Streicher" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
A Fibrational View of Geometric Morphisms
- …A Fibrational View of Geometric Morphisms Thomas Streicher May 1997 Abstract In this short note we…
- Add To MetaCart
-
A semantic version of the diller-nahm variant of gödel’s dialectica interpretation. Available at his web site
- … Streicher September 2000 – September 2006 Following a suggestion by Martin Hyland from the early 1980ies [Hy…
- Cited by 1 (0 self) – Add To MetaCart
-
Domain-theoretic Foundations of Functional Programming
- …Domain-Theoretic Foundations of Functional Programming Thomas Streicher SS 04 Contents 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Naïve Synthetic Domain Theory: A Logical Approach
- …Na#ve Synthetic Domain Theory A Logical Approach Bernhard Reus & Thomas Streicher Institut f…
- Add To MetaCart
-
In Domain Realizability, not all Functionals on C[-1, 1] are Continuous
- … and Thomas Streicher b a School of Computer Science, University of Birmingham, Birmingham B15 2TT, England…
- Add To MetaCart
-
Verifying Properties of Module Construction in Type Theory
- …Verifying Properties of Module Construction in Type Theory ? Bernhard Reus Thomas Streicher…
- Cited by 5 (0 self) – Add To MetaCart
-
About Hoare logics for higher-order store
- …About Hoare Logics for Higher-order Store ⋆ Bernhard Reus 1⋆⋆ and Thomas Streicher 2 1 University…
- Cited by 4 (2 self) – Add To MetaCart
-
Semantics and Logic of Object Calculi
- …, UK bernhard@(email omitted); Thomas Streicher Fachbereich Mathematik TU Darmstadt, GERMANY streicher…
- Cited by 13 (2 self) – Add To MetaCart
-
Classical Logic, Continuation Semantics and Abstract Machines
- …Classical Logic, Continuation Semantics and Abstract Machines Th. STREICHER Fachbereich 4…
- Cited by 33 (3 self) – Add To MetaCart
-
The Groupoid Interpretation of Type Theory
- …The groupoid interpretation of type theory Martin Hofmann and Thomas Streicher August 27, 1996 1…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
