Nombre de documents

10

CV de Pierre-Marie Pédrot


Communication dans un congrès8 documents

  • Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau. Modèles de la théorie des types donnés par traduction de programme. 28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. <hal-01503089>
  • Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau. The next 700 syntactical models of type theory. Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.182 - 194, 2017, <10.1145/3018610.3018620>. <hal-01445835>
  • Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau. The Definitional Side of the Forcing. Logics in Computer Science, May 2016, New York, United States. <10.1145/http://dx.doi.org/10.1145/2933575.2935320>. <hal-01319066>
  • Pierre-Marie Pédrot, Alexis Saurin. Classical by-need. European Symposium on Programming, Apr 2016, Eindhoven, Netherlands. ESOP 2016, 2016, European Symposium on Programming. <hal-01257348>
  • Alexis Saurin, Pierre-Marie Pédrot. Nécessité faite loi: de la réduction linéaire de tête à l'évaluation paresseuse.. JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. <https://hal.inria.fr/JFLA2014>. <hal-01110337>
  • Pierre-Marie Pédrot. A Functional Functional Interpretation. CSL-LICS 2014 - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2014, Vienna, Austria. 2014, <10.1145/2603088.2603094>. <hal-01111802>
  • Pierre-Marie Pédrot, Alexis Saurin. Nécessité faite loi. JFLA, Jan 2014, Fréjus, France. <hal-01248779>
  • Pierre-Marie Pédrot. Un régime au concentré d'automate. Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France. 2013. <hal-00779752>

Thèse1 document

  • Pierre-Marie Pédrot. A Materialist Dialectica. Logic in Computer Science [cs.LO]. Paris Diderot, 2015. English. <tel-01247085>

Rapport1 document

  • Pierre Boutillier, Stephane Glondu, Benjamin Grégoire, Hugo Herbelin, Pierre Letouzey, et al.. Coq 8.4 Reference Manual. [Research Report] Inria. 2014. <hal-01114602>