Author:
Emmenegger Jacopo,Pasquali Fabio,Rosolini Giuseppe
Subject
Algebra and Number Theory
Reference26 articles.
1. Some free constructions in realizability and proof theory;Carboni;J. Pure Appl. Algebra,1995
2. Introduction to extensive and distributive categories;Carboni;J. Pure Appl. Algebra,1993
3. Regular and exact completions;Carboni;J. Pure Appl. Algebra,1998
4. Mathematical Logic;Cori,2001
5. Model theory vs. categorical logic: two approaches to pretopos completion;Harnik,2011
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A characterization of generalized existential completions;Annals of Pure and Applied Logic;2023-04
2. Logical Foundations of Quantitative Equality;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
3. A characterisation of elementary fibrations;Annals of Pure and Applied Logic;2022-06
4. Elementary fibrations of enriched groupoids;Mathematical Structures in Computer Science;2021-11-19
5. Doctrines, modalities and comonads;Mathematical Structures in Computer Science;2021-09-14