Nombre de documents

23

Short résumé


Pierre Lescanne is emeritus professor at Ecole normale superieure de
Lyon (France) since 2012.

He graduated at the University of Nancy (France) where he obtained a
first doctorate (PhD) in 1971 and a second doctorate (habilitation) in
1979.  He was at MIT (USA) for two years in 1980-1982 where he
developed the software REVE (one of the first proof assistant based on
first order rewriting) and became a director of research at the CNRS
research center in computer science in Nancy.  He was a professor at
Ecole normale superieure de Lyon from 1997 to 2012.  He is now
emeritus professor at Ecole normale superieure de Lyon


His current domain of research are

- coinduction, games, escalation, and the refoundation of economics,

- quantitative aspects of lambda calculus,

- resource calculi and its connection with models of deduction.

====================================================================
Five publications

Katarzyna Grygiel, Pierre Lescanne: Counting and generating terms in the binary lambda calculus. J. Funct. Program. 25 (2015)

Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc: A Natural Counting of Lambda Terms. SOFSEM 2016: 183-194

Pierre Lescanne: On counting untyped lambda terms. Theor. Comput. Sci. 474: 80-97 (2013)

Pierre Lescanne: A Simple Case of Rationality of Escalation. CALCO 2013: 191-204

Pierre Lescanne, Matthieu Perrinel: "Backward" coinduction, Nash equilibrium and the rationality of escalation. Acta Inf. 49(3): 117-137 (2012)


Article dans une revue3 documents

  • Pierre Lescanne. Les krachs sont rationnels. Technique et Science Informatiques, Hermès-Lavoisier, 2013, 32 (9-10), pp.909-909. 〈ensl-00937354〉
  • 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, 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〉

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〉

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〉

Pré-publication, Document de travail11 documents

  • Pierre Lescanne. Dependent Types for Extensive Games. 2016. 〈ensl-01391418v3〉
  • 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. An exercise on streams: convergence acceleration. 2013. 〈ensl-00920026v2〉
  • Pierre Lescanne. Bubbles are rational. Translation of http://hal-ens-lyon.archives-ouvertes.fr/ensl-00646546. 2013. 〈ensl-00819188〉
  • 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〉
  • Pierre Lescanne. Les crashs sont rationnels. 2011. 〈ensl-00646546v5〉
  • Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec. Resource control and strong normalisation (old version). 2011. 〈ensl-00690095〉

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〉