Pierre-Marie Pédrot

Orcid: 0009-0002-8006-6239

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
"Upon This Quote I Will Build My Church Thesis".
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

δ is for Dialectica.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Martin-Löf à la Coq.
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.
IEEE Softw., 2022

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

Gardening with the Pythia A Model of Continuity in a Dependent Setting.
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021
Extending the team with a project-specific bot.
CoRR, 2021

2020
The fire triangle: how to mix substitution, dependent elimination, and effects.
Proc. ACM Program. Lang., 2020

Russian Constructivism in a Prefascist Theory.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019
A reasonably exceptional type theory.
Proc. ACM Program. Lang., 2019

2018
Failure is Not an Option - An Exceptional Type Theory.
Proceedings of the Programming Languages and Systems, 2018

2017
An effectful way to eliminate addiction to dependence.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

The next 700 syntactical models of type theory.
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016
The Definitional Side of the Forcing.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Classical By-Need.
Proceedings of the Programming Languages and Systems, 2016

2015
A Materialist Dialectica. (Une Dialectica matérialiste).
PhD thesis, 2015

2014
Nécessité faite loi : de la réduction linéaire de tête à l'évaluation paresseuse.
Proceedings of the 25. Journées francophones des langages applicatifs, 2014

A functional functional interpretation.
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


  Loading...