EMMENEGGER, JACOPO

EMMENEGGER, JACOPO  

100021 - Dipartimento di Matematica  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autore(i) File
A 2-categorical analysis of context comprehension 1-gen-2024 Coraglia, Greta; Emmenegger, Jacopo
A characterisation of elementary fibrations 1-gen-2022 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
A comonad for Grothendieck fibrations 1-gen-2024 Emmenegger, Jacopo; Mesiti, Luca; Rosolini, Giuseppe; Streicher, Thomas
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT 1-gen-2023 Ahrens, Benedikt; Emmenegger, Jacopo; RANDALL NORTH, Paige; Rijke, Egbert
Categorical Models of Subtyping 1-gen-2024 Coraglia, Greta; Emmenegger, Jacopo
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-2020 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