Search Results - Awodey, Steve

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

    Algebraic Type Theory, Part 1: Martin-Löf algebras Autoría: Awodey, Steve

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

    Toward the effective 2-topos Autoría: Awodey, Steve, Emmenegger, Jacopo

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  3. 3
    Cover Image

    Path Types in Algebraic Type Theory Autoría: Awodey, Steve, Hua, Joseph

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

    Save to List
    Saved in:
  4. 4
    Cover Image

    Impredicative Encodings of (Higher) Inductive Types Autoría: Awodey, Steve, Frey, Jonas, Speight, Sam

    Published 2018
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  5. 5
    Cover Image

    The equivariant model structure on cartesian cubical sets Autoría: Awodey, Steve, Cavallo, Evan, Coquand, Thierry, Riehl, Emily, Sattler, Christian

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

    Save to List
    Saved in:

Search Tools: