The Cantor–Schröder–Bernstein Theorem for ∞-groupoids von Escardó, Martín Hötzel

Volltext

Type classes for efficient exact real arithmetic in Coq von Krebbers, Robbert, Spitters, Bas

Volltext

The Cantor–Schröder–Bernstein Theorem for $$\infty $$-groupoids von Escardó, Martín Hötzel

Volltext

Higher-order games with dependent types von Escardó, Martín, Oliva, Paulo

Volltext

Injective types in univalent mathematics von Escardó, Martín Hötzel

Volltext

On Small Types in Univalent Foundations von de Jong, Tom, Escardó, Martín Hötzel

Volltext

On Small Types in Univalent Foundations von de Jong, Tom, Martín Hötzel Escardó

Volltext

Patch Locale of a Spectral Locale in Univalent Type Theory von Tosun, Ayberk, Martín Hötzel Escardó

Volltext

The regular-locally compact coreflection of a stably locally compact locale von Escardó, Martı́n Hötzel

Volltext

Injective locales over perfect embeddings and algebras of the upper powerlocale monad von Escardó, Martín

Volltext

Sequential games and optimal strategies von Escardó, Martín, Oliva, Paulo

Volltext

A constructive manifestation of the Kleene–Kreisel continuous functionals von Escardó, Martín, Xu, Chuangjie

Volltext

THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT von ESCARDÓ, MARTÍN, OLIVA, PAULO

Volltext

Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics von Escardó, Martín H.

Volltext

On generalized algebraic theories and categories with families von Bezem, Marc, Coquand, Thierry, Dybjer, Peter, Escardó, Martín

Volltext

Higher-order Games with Dependent Types von Escardó, Martín, Oliva, Paulo

Volltext bestellen

Notions of Anonymous Existence in Martin-L\"of Type Theory von Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch

Volltext

Constructive decidability of classical continuity von ESCARDo, MARTAN

Volltext

BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS von ESCARDÓ, MARTÍN, OLIVA, PAULO

Volltext

Integration in Real PCF von Edalat, Abbas, Escardó, Martı́n Hötzel

Volltext