Pierre Cagne

Orcid: 0000-0003-3990-726X

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.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

On symmetries of spheres in univalent foundations.

[BibT_eX]

[DOI]

CoRR, 2024

2022

How Functorial Are (Deep) GADTs?

[BibT_eX]

[DOI]

Patricia Johann

Pierre Cagne

CoRR, 2022

Characterizing Functions Mappable over GADTs.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Pierre Cagne

PhD thesis, 2018

2017

On bifibrations of model categories.

[BibT_eX]

[DOI]

Pierre Cagne

Paul-André Melliès

CoRR, 2017

Pierre Cagne

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...