Streicher, Thomas - Department of Mathematics, Technische Universität Darmstadt

• The Combinatory Algebras U and A wb;e
• Universality Results for Models in Locally Boolean Domains
• A Semantic Version of the Diller-Nahm Variant of
• Shoenfield = Godel Krivine T. Streicher and U. Kohlenbach
• LQD is De nable Mamuka JIBLADZE, Thomas STREICHER
• A Relational Characterisation of Syntactic De nability in Models of System F
• Full Abstraction and Universality via Realisability Michael Marz
• A Category of Topological Predomains Diplomarbeit von Ingo Battenfeld
• Categorical Models of Constructive Logic Thomas STREICHER
• Introduction to Constructive Logic and Mathematics
• Math. Log. Quart. 0 (0) 0, 1 { 4 Mathematical Logic
• Lifting Grothendieck Universes Martin HOFMANN, Thomas STREICHER
• A Topos for Computable Analysis Thomas STREICHER
• Universes in Toposes Thomas STREICHER
• A Fully Abstract Model Sequential Computation
• Under consideration for publication in Math. Struct. in Comp. Science Impredicativity entails Untypedness
• General Synthetic Domain Theory --A Logical Approach y
• A Fibrational Theory Geometric Morphisms
• Under consideration for publication in Math. Struct. in Comp. Science Quotients of countably based spaces are not
• A Universal Realizability Model Sequential Functional
• From Constructive Mathematics to Computable Analysis
• Computability Theory Prof. Dr. Thomas Streicher
• Introduction to CATEGORY THEORY
• Distributors at Work Jean Benabou
• Realizability Thomas Streicher
• FIBRED CATEGORIES `a la Jean Benabou
• Realizability Models for CZF+Pow T. Streicher
• Denotational Completeness Revisited Thomas STREICHER 1
• Classical Logic, Continuation Semantics and Abstract Machines
• A Universal Characterisation of the Tripos-to-Topos Construction
• The groupoid interpretation of type theory Martin Hofmann and Thomas Streicher
• Program Verification Synthetic Domain Theory
• Allgemeine Algebra f ur Informatiker Prof. Dr. Thomas Streicher
• Inductive Construction of Repletion Thomas STREICHER
• A Fibrational View of Geometric Morphisms Thomas Streicher
• Locally Boolean Domains and Universal Models for
• The World's Simplest Proof of Moens' Lemma Let B be a category with finite limits and P : X B be a fibration of finite limit
• Beweistheorie Prof. Dr. Thomas Streicher
• Forcing for IZF in Sheaf Toposes Thomas STREICHER
• Realizability Models Refuting Ishihara's Boundedness Principle
• Under consideration for publication in Math. Struct. in Comp. Science Krivine's Classical Realizability from a
• A Model of Type Theory in Simplicial Sets A brief introduction to Voevodsky's Homotopy Type Theory