EMMENEGGER, JACOPO

EMMENEGGER, JACOPO  

100021 - Dipartimento di Matematica  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.063 secondi).
Titolo Data di pubblicazione Autore(i) File
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
Elementary doctrines as coalgebras 1-gen-2020 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
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
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
W-types in setoids 1-gen-2021 Emmenegger, Jacopo