Fabio Pasquali
According to our database1,
Fabio Pasquali
authored at least 16 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
2
1
2
2
1
3
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023
2022
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
2021
2019
Log. Methods Comput. Sci., 2019
A characterization of those categories whose internal logic is Hilbert's <i>ε</i>-calculus.
Ann. Pure Appl. Log., 2019
2018
2017
FLAP, 2017
FLAP, 2017
2016
A Categorical Interpretation of the Intuitionistic, Typed, First Order Logic with Hilbert's \({\varepsilon}\) -Terms.
Logica Universalis, 2016
Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness.
Appl. Categorical Struct., 2016
2015