Nombre de documents

23

CV de Pierre Lescanne


Rapport2 documents

  • Pierre Lescanne. Intelligent escalation and the principle of relativity. [Research Report] LIP - ENS Lyon. 2014. <ensl-01096264v4>
  • Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec. A journey through resource control lambda calculi and explicit substitution using intersection types (an account). 2011, pp.40. <ensl-00823621v2>

Communication dans un congrès6 documents

  • Katarzyna Grygiel, Pierre Lescanne. Counting Terms in the Binary Lambda Calculus. DMTCS. 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Jun 2014, Paris, France. pp.13, 2014, Discrete Mathematics & Theoretical Computer Science. <ensl-00923203>
  • Pierre Lescanne. A simple case of rationality of escalation. Reiko Heckel - University of Leicester, UK and Stefan Milius - TU Braunschweig, D. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Sep 2013, Warsaw, Poland. Springer, 8089, pp.191-204, 2013, Lecture Notes in Computer Science. <ensl-00832490>
  • Pierre Lescanne, Silvia Ghilezan, Jelena Ivetic, Silvia Likavec. Intersection Types for the Resource Control Lambda Calculi. Antonio Cerone et Pekka Pihlajasaari. Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Aug 2011, Johannesburg, South Africa. Springer, 6916, pp.116-134, 2011, Lecture Notes in Computer Science. <ensl-00654755>
  • Pierre Lescanne, Silvia Ghilezan, Jelena Ivetic, Dragisa Zunic. Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada. Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, Sep 2009, Bakuriani, Georgia. Springer, 6618, pp.101-124, 2011, Lecture Notes in Computer Science. <ensl-00654762>
  • Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang. Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract]. Elsevier. Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004), Oct 2004, Rome, Italy. Elsevier, Electronic Notes in Theoretical Computer Science, 127 (Issue 5), pp.57-82, 2005, <10.1016/j.entcs.2004.12.042>. <hal-01149607>
  • Daniel J. Dougherty, Frederic Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems. Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. University of Utrecht, Institute of Philosophy, Logic Group Preprint series, pp.6-25, Logic Group Preprint series. <hal-01152576>

Pré-publication, Document de travail11 documents

  • Pierre Lescanne. Dependent Types for Extensive Games. 2016. <ensl-01391418v2>
  • Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc. A NATURAL COUNTING OF LAMBDA TERMS. 2016. <ensl-01159746v3>
  • Katarzyna Grygiel, Pierre Lescanne. Counting and Generating Terms in the Binary Lambda Calculus (Extended version). 2015. <ensl-01229794>
  • Pierre Lescanne. Boltzmann samplers for random generation of lambda terms. 2014. <ensl-00979074v2>
  • Pierre Lescanne. Bubbles are rational. Translation of http://hal-ens-lyon.archives-ouvertes.fr/ensl-00646546. 2013. <ensl-00819188>
  • Pierre Lescanne. An exercise on streams: convergence acceleration. 2013. <ensl-00920026v2>
  • Katarzyna Grygiel, Pierre Lescanne. Counting and generating lambda terms. 2012. <ensl-00740034v7>
  • Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic. Computational interpretation of classical logic with explicit structural rules. 2012. <ensl-00681296>
  • Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec. Resource control and strong normalisation. 2011. <ensl-00651985v3>
  • Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec. Resource control and strong normalisation (old version). 2011. <ensl-00690095>
  • Pierre Lescanne. Les crashs sont rationnels. 2011. <ensl-00646546v5>

Chapitre d'ouvrage1 document

  • Pierre Lescanne. Common Knowledge Logic in a Higher Order Proof Assistant. Andrei Voronkov, Christoph Weidenbach. Programming Logics - Essays in Memory of Harald Ganzinger., Springer, pp.271-284, 2013, Lecture Notes in Computer Science. <ensl-00869081>

Article dans une revue3 documents

  • Pierre Lescanne, Katarzyna Grygiel. Counting and generating lambda terms. Journal of Functional Programming, Cambridge University Press (CUP), 2013, 23 (05), pp.594-628. <10.1017/S0956796813000178>. <ensl-00879067>
  • Pierre Lescanne. Les krachs sont rationnels. Technique et Science Informatiques, Editions Hermes, 2013, 32 (9-10), pp.909-909. <ensl-00937354>
  • Pierre Lescanne, Matthieu Perrinel. ''Backward'' Coinduction, Nash equilibrium and the Rationality of Escalation. Acta Informatica, Springer Verlag, 2012, 49 (3), pp.117-137. <10.1007/s00236-012-0153-3>. <ensl-00692767>