Fabio Pasquali

18 papers A* 1B 1Journal 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
The relational quotient completion.
Ann. Pure Appl. Log.
Francesco Dagnino, Fabio Pasquali
2025 J jnl
Quantitative Equality in Substructural Logic via Lipschitz Doctrines.
Log. Methods Comput. Sci.
Francesco Dagnino, Fabio Pasquali
2024 J jnl
Cauchy-completions and the rule of unique choice in relational doctrines.
CoRR
Francesco Dagnino, Fabio Pasquali
2024 J jnl
The Relational Quotient Completion.
CoRR
Francesco Dagnino, Fabio Pasquali
2023 B conf
Quotients and Extensionality in Relational Doctrines.
FSCD
Francesco Dagnino, Fabio Pasquali
2022 J jnl
A characterisation of elementary fibrations.
Ann. Pure Appl. Log.
Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
2022 A* conf
Logical Foundations of Quantitative Equality.
LICS
Francesco Dagnino, Fabio Pasquali
2021 J jnl
Elementary fibrations of enriched groupoids.
Math. Struct. Comput. Sci.
Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
2021 J jnl
Logical Foundations of Quantitative Equality (long version).
CoRR
Francesco Dagnino, Fabio Pasquali
2019 J jnl
A characterization of those categories whose internal logic is Hilbert's
Ann. Pure Appl. Log.
Fabio Pasquali
2019 J jnl
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies.
Log. Methods Comput. Sci.
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
2018 J jnl
On a Generalization of Equilogical Spaces.
Logica Universalis
Fabio Pasquali
2017 J jnl
From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers.
FLAP
Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré
2017 J jnl
Hilbert's epsilon-operator in Doctrines.
FLAP
Fabio Pasquali
2017 J jnl
Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics".
FLAP
Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré
2016 J jnl
A Categorical Interpretation of the Intuitionistic, Typed, First Order Logic with Hilbert's \({\varepsilon}\) -Terms.
Logica Universalis
Fabio Pasquali
2016 J jnl
Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness.
Appl. Categorical Struct.
Fabio Pasquali
2015 J jnl
A Co-free Construction for Elementary Doctrines.
Appl. Categorical Struct.
Fabio Pasquali