Fabio Pasquali

According to our database, Fabio Pasquali authored at least 17 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

The relational quotient completion.

Francesco Dagnino, Fabio Pasquali

Ann. Pure Appl. Log., 2026

2025

Quantitative Equality in Substructural Logic via Lipschitz Doctrines.

Francesco Dagnino, Fabio Pasquali

Log. Methods Comput. Sci., 2025

2024

Cauchy-completions and the rule of unique choice in relational doctrines.

Francesco Dagnino, Fabio Pasquali

CoRR, 2024

2023

Quotients and Extensionality in Relational Doctrines.

Francesco Dagnino, Fabio Pasquali

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

A characterisation of elementary fibrations.

Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini

Ann. Pure Appl. Log., 2022

Logical Foundations of Quantitative Equality.

Francesco Dagnino, Fabio Pasquali

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Elementary fibrations of enriched groupoids.

Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini

Math. Struct. Comput. Sci., 2021

Logical Foundations of Quantitative Equality (long version).

Francesco Dagnino, Fabio Pasquali

CoRR, 2021

2019

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies.

Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini

Log. Methods Comput. Sci., 2019

A characterization of those categories whose internal logic is Hilbert's <i>ε</i>-calculus.

Fabio Pasquali

Ann. Pure Appl. Log., 2019

2018

On a Generalization of Equilogical Spaces.

Fabio Pasquali

Logica Universalis, 2018

2017

Hilbert's epsilon-operator in Doctrines.

Fabio Pasquali

FLAP, 2017

From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers.

Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré

FLAP, 2017

Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics".

Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré

FLAP, 2017

2016

A Categorical Interpretation of the Intuitionistic, Typed, First Order Logic with Hilbert's \({\varepsilon}\) -Terms.

Fabio Pasquali

Logica Universalis, 2016

Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness.

Fabio Pasquali

Appl. Categorical Struct., 2016

2015

A Co-free Construction for Elementary Doctrines.

Fabio Pasquali

Appl. Categorical Struct., 2015