Risultati della ricerca - Zeuner, Max

  • Mostra 1 - 5 risultati su 5
Raffina i risultati
  1. 1
    Copertina

    Univalent Foundations of Constructive Algebraic Geometry Autoría: Zeuner, Max

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

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory Autoría: Petrakis, Iosif, Zeuner, Max

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

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

    A Univalent Formalization of Constructive Affine Schemes Autoría: Zeuner, Max, Mörtberg, Anders

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

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

    The Functor of Points Approach to Schemes in Cubical Agda Autoría: Zeuner, Max, Hutzler, Matthias

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

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

    Internalizing Representation Independence with Univalence Autoría: Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

    Pubblicazione 2020
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: