Jacopo Emmenegger

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

School Children

Top Venues

Math. Struct. Comput. Sci.

Publications

Greta Coraglia, Jacopo Emmenegger
A 2-categorical analysis of context comprehension. CoRR (2024)
Greta Coraglia, Jacopo Emmenegger
Categorical Models of Subtyping. TYPES (2023)
Greta Coraglia, Jacopo Emmenegger
Categorical models of subtyping. CoRR (2023)
Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
A characterisation of elementary fibrations. Ann. Pure Appl. Log. 173 (6) (2022)
Nicholas Dyson, Benedikt Ahrens, Jacopo Emmenegger
The solutions to single-variable polynomials, implemented and verified in Lean. CoRR (2022)
Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
Elementary fibrations of enriched groupoids. Math. Struct. Comput. Sci. 31 (9) (2021)
Jacopo Emmenegger
W-types in setoids. Log. Methods Comput. Sci. 17 (3) (2021)
Jacopo Emmenegger, Erik Palmgren
Exact Completion and Constructive Theories of Sets. J. Symb. Log. 85 (2) (2020)