A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus von Thomas Streicher

Volltext

The genesis of the groupoid model von Streicher, Thomas

Volltext

Computability in Basic Quantum Mechanics von Eike Neumann, Martin Pape, Thomas Streicher

Volltext

Triposes as a generalization of localic geometric morphisms von Frey, Jonas, Streicher, Thomas

Volltext

Simplicial sets inside cubical sets von Streicher, Thomas, Weinberger, Jonathan

Volltext

An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part is an Exponential Ideal von Garner, Richard, Streicher, Thomas

Volltext

Observationally-induced algebras in Domain Theory von Battenfeld, Ingo, Keimel, Klaus, Streicher, Thomas

Volltext

Krivine's classical realisability from a categorical perspective von STREICHER, THOMAS

Volltext

Simplicial sets inside cubical sets von Streicher, Thomas, Weinberger, Jonathan

Volltext

Simplicial sets inside cubical sets von Streicher, Thomas, Weinberger, Jonathan

Volltext

Simplicial sets inside cubical sets von Streicher, Thomas, Weinberger, Jonathan

Volltext

Simplicial sets inside cubical sets von Streicher, Thomas, Weinberger, Jonathan

Volltext

Models of intuitionistic set theory in subtoposes of nested realizability toposes von Maschio, Samuele, Streicher, Thomas

Volltext

Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice von Ishihara, Hajime, Maietti, Maria Emilia, Maschio, Samuele, Streicher, Thomas

Volltext

Realizability models refuting Ishiharaʼs boundedness principle von Lietz, Peter, Streicher, Thomas

Volltext

Relating First-Order Set Theories and Elementary Toposes von Awodey, Steve, Butz, Carsten, Simpson, Alex, Streicher, Thomas

Volltext

A synthetic theory of sequential domains von Reus, Bernhard, Streicher, Thomas

Volltext

Constructive toposes with countable sums as models of constructive set theory von Simpson, Alex, Streicher, Thomas

Volltext

How Intensional Is Homotopy Type Theory? von Streicher, Thomas

Volltext

The intrinsic topology of Martin-Löf universes von Escardó, Martín Hötzel, Streicher, Thomas

Volltext