PASQUALI, FABIO
PASQUALI, FABIO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
A Co-free Construction for Elementary Doctrines
2015 Pasquali, Fabio
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies
2019 Maietti, MARIA EMILIA; Pasquali, Fabio; Rosolini, Giuseppe
Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness
2016 Pasquali, Fabio
Triposes, exact completions, and Hilbert's ε-operator
2017 Maietti, MARIA EMILIA; Pasquali, Fabio; Rosolini, Giuseppe