Loïc Pujet

According to our database, Loïc Pujet authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Observational Equality Meets CIC.

Loïc Pujet, Nicolas Tabareau

Proceedings of the Programming Languages and Systems, 2024

Martin-Löf à la Coq.

Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Impredicative Observational Equality.

Loïc Pujet, Nicolas Tabareau

Proc. ACM Program. Lang., January, 2023

2022

Computing with Extensionality Principles in Type Theory. (Calculer avec des Principes d'Extensionnalité en Théorie des Types).

Loïc Pujet

PhD thesis, 2022

Observational equality: now for good.

Loïc Pujet, Nicolas Tabareau

Proc. ACM Program. Lang., 2022

2020

Cubical synthetic homotopy theory.

Anders Mörtberg, Loïc Pujet

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020