Search Results - Zeuner, Max

  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory

    Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory by Petrakis, Iosif, Zeuner, Max

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Internalizing representation independence with univalence

    Internalizing representation independence with univalence by Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory

    Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory by Petrakis, Iosif, Zeuner, Max

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    The Functor of Points Approach to Schemes in Cubical Agda

    The Functor of Points Approach to Schemes in Cubical Agda by Zeuner, Max, Hutzler, Matthias

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Univalent Foundations of Constructive Algebraic Geometry

    Univalent Foundations of Constructive Algebraic Geometry by Zeuner, Max

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    A Univalent Formalization of Constructive Affine Schemes

    A Univalent Formalization of Constructive Affine Schemes by Zeuner, Max, Mörtberg, Anders

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Families of Sets in Constructive Measure Theory

    Families of Sets in Constructive Measure Theory by Zeuner, Max

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Internalizing Representation Independence with Univalence

    Internalizing Representation Independence with Univalence by Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Integrated-optics heralded controlled-NOT gate for polarization-encoded qubits

    Integrated-optics heralded controlled-NOT gate for polarization-encoded qubits by Zeuner, Jonas, Sharma, Aditya N., Tillmann, Max, Heilmann, René, Gräfe, Markus, Moqanaki, Amir, Szameit, Alexander, Walther, Philip

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Integrated-optics heralded controlled-NOT gate for polarization-encoded qubits

    Integrated-optics heralded controlled-NOT gate for polarization-encoded qubits by Zeuner, Jonas, Sharma, Aditya N, Tillmann, Max, Heilmann, René, Gräfe, Markus, Moqanaki, Amir, Szameit, Alexander, Walther, Philip

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: