A Co-free Construction for Elementary Doctrines. - Fabio Pasquali (Appl. Categorical Struct., 2015)

Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness. - Fabio Pasquali (Appl. Categorical Struct., 2016)

A Categorical Interpretation of the Intuitionistic, Typed, First Order Logic with Hilbert's ({ varepsilon} ) -Terms. - Fabio Pasquali (Logica Universalis, 2016)

Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics". - Stergios Chatzikyriakidis; Fabio Pasquali; Christian Retoré (FLAP, 2017)

From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers. - Stergios Chatzikyriakidis; Fabio Pasquali; Christian Retoré (FLAP, 2017)

Hilbert's epsilon-operator in Doctrines. - Fabio Pasquali (FLAP, 2017)

On a Generalization of Equilogical Spaces. - Fabio Pasquali (Logica Universalis, 2018)

A characterization of those categories whose internal logic is Hilbert's ε-calculus. - Fabio Pasquali (Ann. Pure Appl. Log., 2019)

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies. - Maria Emilia Maietti; Fabio Pasquali; Giuseppe Rosolini (Log. Methods Comput. Sci., 2019)

Logical Foundations of Quantitative Equality (long version). - Francesco Dagnino; Fabio Pasquali (CoRR, 2021)

Elementary fibrations of enriched groupoids. - Jacopo Emmenegger; Fabio Pasquali; Giuseppe Rosolini (Math. Struct. Comput. Sci., 2021)

Logical Foundations of Quantitative Equality. - Francesco Dagnino; Fabio Pasquali (LICS, 2022)

A characterisation of elementary fibrations. - Jacopo Emmenegger; Fabio Pasquali; Giuseppe Rosolini (Ann. Pure Appl. Log., 2022)

Quotients and Extensionality in Relational Doctrines. - Francesco Dagnino; Fabio Pasquali (FSCD, 2023)

Cauchy-completions and the rule of unique choice in relational doctrines. - Francesco Dagnino; Fabio Pasquali (CoRR, 2024)

The Relational Quotient Completion. - Francesco Dagnino; Fabio Pasquali (CoRR, 2024)

Quantitative Equality in Substructural Logic via Lipschitz Doctrines. - Francesco Dagnino; Fabio Pasquali (Log. Methods Comput. Sci., 2025)