Jacopo Emmenegger

According to our database, Jacopo Emmenegger authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A 2-categorical analysis of context comprehension.

Greta Coraglia, Jacopo Emmenegger

CoRR, 2024

2023

Categorical Models of Subtyping.

Greta Coraglia, Jacopo Emmenegger

Proceedings of the 29th International Conference on Types for Proofs and Programs, 2023

2022

The solutions to single-variable polynomials, implemented and verified in Lean.

Nicholas Dyson, Benedikt Ahrens, Jacopo Emmenegger

CoRR, 2022

A characterisation of elementary fibrations.

Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini

Ann. Pure Appl. Log., 2022

2021

Elementary fibrations of enriched groupoids.

Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini

Math. Struct. Comput. Sci., 2021

W-types in setoids.

Jacopo Emmenegger

Log. Methods Comput. Sci., 2021

2020

Exact Completion and Constructive Theories of Sets.

Jacopo Emmenegger, Erik Palmgren

J. Symb. Log., 2020