Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
Triposes, exact completions, and Hilbert's ε-operator
2017-01-01 Maietti, MARIA EMILIA; Pasquali, Fabio; Rosolini, Giuseppe
Elementary quotient completions, church’s thesis, and partitioned assemblies
2019-01-01 Maietti, Me; Pasquali, F; Rosolini, G
Elementary doctrines as coalgebras
2020-01-01 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
A characterisation of elementary fibrations
2022-01-01 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
Logical Foundations of Qantitative Equality
2022-01-01 Dagnino, F.; Pasquali, F.
Quotients and Extensionality in Relational Doctrines
2023-01-01 Dagnino, F.; Pasquali, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Triposes, exact completions, and Hilbert's ε-operator | 1-gen-2017 | Maietti, MARIA EMILIA; Pasquali, Fabio; Rosolini, Giuseppe | |
Elementary quotient completions, church’s thesis, and partitioned assemblies | 1-gen-2019 | Maietti, Me; Pasquali, F; Rosolini, G | |
Elementary doctrines as coalgebras | 1-gen-2020 | Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe | |
A characterisation of elementary fibrations | 1-gen-2022 | Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe | |
Logical Foundations of Qantitative Equality | 1-gen-2022 | Dagnino, F.; Pasquali, F. | |
Quotients and Extensionality in Relational Doctrines | 1-gen-2023 | Dagnino, F.; Pasquali, F. |
Mostrati risultati da 1 a 6 di 6
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