Loc Pujet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Definitional Proof Irrelevance Made Accessible. | Thiago Felicissimo, Yann Leray, Loc Pujet, Nicolas Tabareau, ric Tanter, Tho Winterhalter |
| 2026 | LICS | Cellular Methods in Homotopy Type Theory. | Axel Ljungstrm, Loc Pujet |
| 2024 | CPP | Martin-Lf la Coq. | Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pdrot, Loc Pujet |
| 2024 | ESOP | Observational Equality Meets CIC. | Loc Pujet, Nicolas Tabareau |
| 2020 | CPP | Cubical synthetic homotopy theory. | Anders Mrtberg, Loc Pujet |