Fabio Pasquali

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 15

Top Topics

Sample Complexity

Quantifier Elimination

Highly Expressive

Logical Foundations

Top Venues

Appl. Categorical Struct.

Logica Universalis

Publications

Francesco Dagnino, Fabio Pasquali
Cauchy-completions and the rule of unique choice in relational doctrines. CoRR (2024)
Francesco Dagnino, Fabio Pasquali
Quotients and Extensionality in Relational Doctrines. FSCD (2023)
Francesco Dagnino, Fabio Pasquali
Logical Foundations of Quantitative Equality. LICS (2022)
Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
A characterisation of elementary fibrations. Ann. Pure Appl. Log. 173 (6) (2022)
Francesco Dagnino, Fabio Pasquali
Logical Foundations of Quantitative Equality (long version). CoRR (2021)
Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
Elementary fibrations of enriched groupoids. Math. Struct. Comput. Sci. 31 (9) (2021)
Fabio Pasquali
-calculus. Ann. Pure Appl. Log. 170 (4) (2019)
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies. Log. Methods Comput. Sci. 15 (2) (2019)
Fabio Pasquali
On a Generalization of Equilogical Spaces. Logica Universalis 12 (1-2) (2018)
Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré
Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics". FLAP 4 (2) (2017)
Fabio Pasquali
Hilbert's epsilon-operator in Doctrines. FLAP 4 (2) (2017)
Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré
From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers. FLAP 4 (2) (2017)
Fabio Pasquali
A Categorical Interpretation of the Intuitionistic, Typed, First Order Logic with Hilbert's \({\varepsilon}\) -Terms. Logica Universalis 10 (4) (2016)
Fabio Pasquali
Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness. Appl. Categorical Struct. 24 (2) (2016)
Fabio Pasquali
A Co-free Construction for Elementary Doctrines. Appl. Categorical Struct. 23 (1) (2015)