Pierre Cagne

Publication Activity (10 Years)

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

Top Topics

Artificial Intelligence

Symmetry Breaking

Top Venues

Sorbonne Paris Cité, France (PHD)

Education History

Sorbonne Paris Cité, France

PHD

Publications

Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem
On symmetries of spheres in univalent foundations. LICS (2024)
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)