Pierre-Marie Pédrot

According to our database, Pierre-Marie Pédrot authored at least 18 papers between 2014 and 2024.

Collaborative distances:

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

2024

"Upon This Quote I Will Build My Church Thesis".

Pierre-Marie Pédrot

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

δ is for Dialectica.

Marie Morgane Kerjean, Pierre-Marie Pédrot

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 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

2022

The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report.

Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert

IEEE Softw., 2022

Advantages of maintaining a multi-task project-specific bot: an experience report.

Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert

CoRR, 2022

Gardening with the Pythia A Model of Continuity in a Dependent Setting.

Martin Baillon, Assia Mahboubi, Pierre-Marie Pédrot

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Extending the team with a project-specific bot.

Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert

CoRR, 2021

2020

The fire triangle: how to mix substitution, dependent elimination, and effects.

Pierre-Marie Pédrot, Nicolas Tabareau

Proc. ACM Program. Lang., 2020

Russian Constructivism in a Prefascist Theory.

Pierre-Marie Pédrot

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

A reasonably exceptional type theory.

Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, Éric Tanter

Proc. ACM Program. Lang., 2019

2018

Failure is Not an Option - An Exceptional Type Theory.

Pierre-Marie Pédrot, Nicolas Tabareau

Proceedings of the Programming Languages and Systems, 2018

2017

An effectful way to eliminate addiction to dependence.

Pierre-Marie Pédrot, Nicolas Tabareau

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

The next 700 syntactical models of type theory.

Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

The Definitional Side of the Forcing.

Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Classical By-Need.

Pierre-Marie Pédrot, Alexis Saurin

Proceedings of the Programming Languages and Systems, 2016

2015

A Materialist Dialectica. (Une Dialectica matérialiste).

Pierre-Marie Pédrot

PhD thesis, 2015

2014

Nécessité faite loi : de la réduction linéaire de tête à l'évaluation paresseuse.

Pierre-Marie Pédrot, Amina Doumane, Alexis Saurin

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

A functional functional interpretation.

Pierre-Marie Pédrot

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014