Pasquali Fabio
Ricercatore a tempo determinato in Tenure Track
Settore scientifico-disciplinare
MATH-01/A - Logica matematica
Gruppo scientifico-disciplinare / settore concorsuale
01/MATH-01 - LOGICA MATEMATICA, DIDATTICA E STORIA DELLA MATEMATICA
Competenze e ambito di ricerca
Contacts
Sede di lavoro
Numero di telefono dell'ufficio
E-mail di ateneo
Teaching - Programme courses
Research
Publications
-
Cauchy Completions and the Rule of Unique Choice in Relational Doctrines / F. Dagnino, F. Pasquali. - In: THEORY AND APPLICATIONS OF CATEGORIES. - ISSN 1201-561X. - 43:9(2025), pp. 243-280.
-
Quantitative Equality in Substructural Logic via Lipschitz Doctrines / F. Dagnino, F. Pasquali. - In: LOGICAL METHODS IN COMPUTER SCIENCE. - ISSN 1860-5974. - 21:1(2025), pp. 7.1-7.14. [10.46298/lmcs-21(1:7)2025]
-
Quotients and Extensionality in Relational Doctrines / F. Dagnino, F. Pasquali (LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS). - In: FSCD 2023 / [a cura di] M. Gaboardi, F. van Raamsdonk. - [s.l] : Schloss Dagstuhl : Leibniz Zentrum fur Informatik : Dagstuhl Publishing, 2023. - ISBN 9783959772778. - pp. 1-23 (( Intervento presentato al 8. convegno International Conference on Formal Structures for Computation and Deduction : 3 through 6 July tenutosi a Roma nel 2023 [10.4230/lipics.fscd.2023.25].