Résultats de la recherche - Bezem, Marc

  • Résultat(s) 1 - 3 résultats de 3
Affiner les résultats
  1. 1
    Image de couverture de livre

    Type Theory with Explicit Universe Polymorphism (revised and extended version) Autoría: Bezem, Marc, Coquand, Thierry, Dybjer, Peter, Escardó, Martín

    Publié 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    On symmetries of spheres in univalent foundations Autoría: Cagne, Pierre, Buchholtz, Ulrik, Kraus, Nicolai, Bezem, Marc

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Image de couverture de livre

    A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism Autoría: Bezem, Marc, Coquand, Thierry, Dybjer, Peter, Escardó, Martín

    Publié 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: