Risultati della ricerca - Awodey, S.

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

    Algebraic Type Theory, Part 1: Martin-Löf algebras di Awodey, Steve

    Pubblicazione 2025
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    Kripke-Joyal forcing for type theory and uniform fibrations di Awodey, S., Gambino, N., Hazratpour, S.

    Pubblicazione 2021
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

    Toward the effective 2-topos di Awodey, Steve, Emmenegger, Jacopo

    Pubblicazione 2025
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

    Path Types in Algebraic Type Theory di Awodey, Steve, Hua, Joseph

    Pubblicazione 2026
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

    Impredicative Encodings of (Higher) Inductive Types di Awodey, Steve, Frey, Jonas, Speight, Sam

    Pubblicazione 2018
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

    The equivariant model structure on cartesian cubical sets di Awodey, Steve, Cavallo, Evan, Coquand, Thierry, Riehl, Emily, Sattler, Christian

    Pubblicazione 2024
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: