Exact completion and type-theoretic structures. - Jacopo Emmenegger (2019)

Exact Completion and Constructive Theories of Sets. - Jacopo Emmenegger; Erik Palmgren (J. Symb. Log., 2020)

W-types in setoids. - Jacopo Emmenegger (Log. Methods Comput. Sci., 2021)

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

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

The solutions to single-variable polynomials, implemented and verified in Lean. - Nicholas Dyson; Benedikt Ahrens; Jacopo Emmenegger (CoRR, 2022)

Categorical Models of Subtyping. - Greta Coraglia; Jacopo Emmenegger (TYPES, 2023)

A 2-categorical analysis of context comprehension. - Greta Coraglia; Jacopo Emmenegger (CoRR, 2024)

Algebraic Presentations of Type Dependency. - Benedikt Ahrens; Jacopo Emmenegger; Paige Randall North; Egbert Rijke (Log. Methods Comput. Sci., 2025)