Treffer 1 - 20 von 41 für Suche 'Martín Hötzel Escardó', Suchdauer: 0,79s Treffer weiter einschränken
  1. 1
    The Cantor–Schröder–Bernstein Theorem for ∞-groupoids

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The Cantor–Schröder–Bernstein Theorem for $$\infty $$-groupoids

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    On Small Types in Univalent Foundations

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Patch Locale of a Spectral Locale in Univalent Type Theory

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The regular-locally compact coreflection of a stably locally compact locale

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Injective types in univalent mathematics

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    On Small Types in Univalent Foundations

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Integration in Real PCF

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

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Domain theory in univalent foundations II: Continuous and algebraic domains

    Domain theory in univalent foundations II: Continuous and algebraic domains von de Jong, Tom, Escardó, Martín Hötzel

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    The Patch Topology in Univalent Foundations

    The Patch Topology in Univalent Foundations von Arrieta, Igor, Escardó, Martín Hötzel, Tosun, Ayberk

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    The Cantor-Schr\"oder-Bernstein Theorem for $\infty$-groupoids

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

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Intersections of compactly many open sets are open

    Intersections of compactly many open sets are open von Escardó, Martín Hötzel

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Introduction to Univalent Foundations of Mathematics with Agda

    Introduction to Univalent Foundations of Mathematics with Agda von Escardó, Martín Hötzel

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Abstract Datatypes for Real Numbers in Type Theory

    Abstract Datatypes for Real Numbers in Type Theory von Escardó, Martín Hötzel, Simpson, Alex


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Injective types in univalent mathematics

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

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Introduction to Univalent Foundations of Mathematics with Agda

    Introduction to Univalent Foundations of Mathematics with Agda von Martín Hötzel Escardó

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom

    A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom von Escardó, Martín Hötzel

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Predicative Aspects of Order Theory in Univalent Foundations

    Predicative Aspects of Order Theory in Univalent Foundations von de Jong, Tom, Escardó, Martín Hötzel

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Domain Theory in Constructive and Predicative Univalent Foundations

    Domain Theory in Constructive and Predicative Univalent Foundations von de Jong, Tom, Escardó, Martín Hötzel

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Domain theory in univalent foundations II: Continuous and algebraic domains

    Domain theory in univalent foundations II: Continuous and algebraic domains von de Jong, Tom, Martín Hötzel Escardó

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: