IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

PASQUALI, FABIO

PASQUALI, FABIO  

Dipartimento di Matematica Federigo Enriques  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Quantitative Equality in Substructural Logic via Lipschitz Doctrines 2025 Pasquali, Fabio + Article (author) -
Cauchy Completions and the Rule of Unique Choice in Relational Doctrines 2025 Fabio, Pasquali + Article (author) -
Quotients and Extensionality in Relational Doctrines 2023 Fabio Pasquali + Book Part (author) -
Logical Foundations of Quantitative Equality 2022 Pasquali, Fabio + Book Part (author) -
A characterisation of elementary fibrations 2022 Pasquali, Fabio + Article (author) -
Giochi di Lafont 2021 Fabio, Pasquali Article (author) -
Elementary fibrations of enriched groupoids 2021 Pasquali, Fabio + Article (author) -
Elementary doctrines as coalgebras 2020 Pasquali, Fabio + Article (author) -
Elementary quotient completions, church’s thesis, and partitioned assemblies 2019 Pasquali F. + Article (author) -
A characterization of those categories whose internal logic is Hilbert's ε-calculus 2019 Pasquali, Fabio Article (author) -
On a generalization of equilogical spaces 2018 Pasquali, Fabio Article (author) -
L'hotel di Hilbert e l'imbarazzo della scelta 2017 Fabio, Pasquali + Article (author) -
Triposes, exact completions, and Hilbert's ε-operator 2017 Pasquali, Fabio + Article (author) -
Quantification in Ordinary Language and Proof Theory 2016 Pasquali, Fabio + Article (author) -
Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness 2016 Pasquali, Fabio Article (author) -
A Co-free Construction for Elementary Doctrines 2015 Pasquali, Fabio Article (author) -