Number of documents

32

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)


Journal articles6 documents

  • Pierre Lescanne. Dependent Types for Extensive Games. J. Formalized Reasoning, 2018. ⟨ensl-01892386⟩
  • Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc. Combinatorics of lambda-terms: a natural approach. J. Log. Comput., Oxford Academic, 2017. ⟨ensl-01892425⟩
  • 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, Hermès-Lavoisier, 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⟩
  • Max Dauchet, Thierry Heuillard, Pierre Lescanne, Sophie Tison. Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems. Information and Computation, Elsevier, 1990, 88 (2), pp.187-201. ⟨10.1016/0890-5401(90)90015-A⟩. ⟨hal-02193891⟩

Conference papers11 documents

  • Pierre Lescanne, Dragisa Zunic. A Congruence Relation for Restructuring Classical Terms. 18th Italian Conference on Theoretical Computer Science, Oct 2018, Naples, Italy. pp.186-197. ⟨ensl-01892440⟩
  • Pierre Lescanne, Maciej Bendkowski. Counting Environments and Closures. FSCD 2018, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.11⟩. ⟨ensl-01892406⟩
  • Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc. A Natural Counting of Lambda Terms. SOFSEM 2016, Jan 2016, Harrachov, Czech Republic. ⟨ensl-01892447⟩
  • Pierre Lescanne, Silvia Ghilezan, Jelena Ivetic, Silvia Likavec. Intersection types fit well with resource control. 21st International Conference on Types for Proofs and Programs, May 2015, Tallinn, Estonia. ⟨ensl-01892569⟩
  • Katarzyna Grygiel, Pierre Lescanne. Counting Terms in the Binary Lambda Calculus. 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Jun 2014, Paris, France. pp.13. ⟨ensl-00923203⟩
  • Pierre Lescanne. A simple case of rationality of escalation. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Sep 2013, Warsaw, Poland. pp.191-204. ⟨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]. Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004), Oct 2004, Rome, Italy. pp.57-82, ⟨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. pp.6-25. ⟨hal-01152576⟩
  • Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne. Decidability of the Confluence of Ground Term Rewriting Systems.. LICS 1987 - Second Annual IEEE Symposium on Logic in Computer Science, Jun 1987, Ithaca, New York, United States. ⟨hal-02193998⟩

Book sections1 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⟩

Preprints, Working Papers, ...12 documents

  • Pierre Lescanne, Maciej Bendkowski. Counting Environments and Closures. 2018. ⟨ensl-01700703⟩
  • Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc. A NATURAL COUNTING OF LAMBDA TERMS. 2016. ⟨ensl-01159746v3⟩
  • Pierre Lescanne. Dependent Types for Extensive Games. 2016. ⟨ensl-01391418v3⟩
  • 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. 2013. ⟨ensl-00819188⟩
  • Pierre Lescanne. An exercise on streams: convergence acceleration. 2013. ⟨ensl-00920026v2⟩
  • Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic. Computational interpretation of classical logic with explicit structural rules. 2012. 〈ensl-00681296〉
  • Katarzyna Grygiel, Pierre Lescanne. Counting and generating lambda terms. 2012. ⟨ensl-00740034v7⟩
  • 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⟩

Reports2 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⟩