Jacopo Emmenegger

According to our database, Jacopo Emmenegger authored at least 9 papers between 2019 and 2025.

Collaborative distances:

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

2025

Algebraic Presentations of Type Dependency.

Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North, Egbert Rijke

Log. Methods Comput. Sci., 2025

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

2019

Exact completion and type-theoretic structures.

Jacopo Emmenegger

PhD thesis, 2019