Sfoglia per Autore  EMMENEGGER, JACOPO

Opzioni
Mostrati risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
L'interpretazione BHK per la logica intuizionista 1-gen-2018 Emmenegger, Jacopo
On the local cartesian closure of exact completions 1-gen-2020 Emmenegger, Jacopo
The Fullness Axiom and exact completions of homotopy categories 1-gen-2020 Emmenegger, Jacopo
Elementary doctrines as coalgebras 1-gen-2020 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
W-types in setoids 1-gen-2021 Emmenegger, Jacopo
Elementary fibrations of enriched groupoids 1-gen-2021 Emmenegger, J.; Pasquali, F.; Rosolini, G.
Exact completion and constructive theories of sets 1-gen-2021 Emmenegger, Jacopo; Palmgren, Erik
A characterisation of elementary fibrations 1-gen-2022 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT 1-gen-2023 Ahrens, Benedikt; Emmenegger, Jacopo; RANDALL NORTH, Paige; Rijke, Egbert
Mostrati risultati da 1 a 9 di 9
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile