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