Nombre de documents

8

CV de Pierre-Marie Pédrot


Communication dans un congrès6 documents

  • 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>
  • Pierre-Marie Pédrot, Alexis Saurin. Nécessité faite loi. JFLA, Jan 2014, Fréjus, France. <hal-01248779>
  • 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. 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>

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>

Thèse1 document

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