Pierre Cagne

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 4

Top Topics

Top Venues

Sorbonne Paris Cité, France (PHD)

Education History

Sorbonne Paris Cité, France

PHD

Publications

Pierre Cagne, Ulrik Buchholtz, Nicolai Kraus, Marc Bezem
On symmetries of spheres in univalent foundations. CoRR (2024)
Patricia Johann, Pierre Cagne
How Functorial Are (Deep) GADTs? CoRR (2022)
Patricia Johann, Pierre Cagne
Characterizing Functions Mappable over GADTs. APLAS (2022)
Pierre Cagne, Paul-André Melliès
On bifibrations of model categories. CoRR (2017)