Pierre Cagne

According to our database, Pierre Cagne authored at least 5 papers between 2017 and 2024.

Collaborative distances:

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

2024

On symmetries of spheres in univalent foundations.

Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2022

How Functorial Are (Deep) GADTs?

Patricia Johann, Pierre Cagne

CoRR, 2022

Characterizing Functions Mappable over GADTs.

Patricia Johann, Pierre Cagne

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2018

Vers une algèbre homotopique des types dépendants. (Towards a homotopical algebra of dependent types).

Pierre Cagne

PhD thesis, 2018

2017

On bifibrations of model categories.

Pierre Cagne, Paul-André Melliès

CoRR, 2017