Loïc Pujet

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Causal Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Loïc Pujet, Nicolas Tabareau
Observational Equality Meets CIC. ESOP (1) (2024)
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet
Martin-Löf à la Coq. CPP (2024)
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet
Martin-Löf à la Coq. CoRR (2023)
Loïc Pujet, Nicolas Tabareau
Impredicative Observational Equality. Proc. ACM Program. Lang. 7 (POPL) (2023)
Loïc Pujet, Nicolas Tabareau
Observational equality: now for good. Proc. ACM Program. Lang. 6 (POPL) (2022)
Anders Mörtberg, Loïc Pujet
Cubical synthetic homotopy theory. CPP (2020)