Pierre Lescanne

Présentation

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: &quot;Backward&quot; coinduction, Nash equilibrium and the rationality of escalation. Acta Inf. 49(3): 117-137 (2012)

Publications

Article dans une revue (16)

Holonomic equations and efficient random generation of binary trees Pierre Lescanne Discrete Mathematics and Theoretical Computer Science, 2023, vol. 25:2, ⟨10.46298/dmtcs.10952⟩ Article dans une revue hal-03674690v6
Almost all Classical Theorems are Intuitionistic Pierre Lescanne RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2022, 56, pp.9. ⟨10.1051/ita/2022009⟩ Article dans une revue hal-04864683v1
Prenons la main de la mémoire. Ma découverte de l’informatique (1964-1973) - Témoignage Pierre Lescanne Cahiers d'histoire du Cnam, 2022, L’informatique entre à l’école : vers une histoire de l’enseignement des sciences et techniques informatiques , vol.15 (1), pp. 29-54 Article dans une revue halshs-04130697v2
On the enumeration of closures and environments with an application to random generation Maciej Bendkowski,Pierre Lescanne Logical Methods in Computer Science, 2019, 15 (4), ⟨10.23638/LMCS-15(4:3)2019⟩ Article dans une revue hal-04864739v1
Dependent Types for Extensive Games Pierre Lescanne J. Formalized Reasoning, 2018 Article dans une revue ensl-01892386v1
Quantitative Aspects of Linear and Affine Closed Lambda Terms Pierre Lescanne ACM Transactions on Computational Logic, 2018, 19 (2), pp.1 - 18. ⟨10.1145/3173547⟩ Article dans une revue ensl-01892358v1
Combinatorics of lambda-terms: a natural approach Pierre Lescanne,Maciej Bendkowski,Katarzyna Grygiel,Marek Zaionc J. Log. Comput., 2017 Article dans une revue ensl-01892425v1
Counting and generating terms in the binary lambda calculus Katarzyna Grygiel,Pierre Lescanne Journal of Functional Programming, 2015, 25, ⟨10.1017/S0956796815000271⟩ Article dans une revue ensl-01892455v1
Les krachs sont rationnels Pierre Lescanne Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (9-10), pp.909-909 Article dans une revue ensl-00937354v1
Counting and generating lambda terms Pierre Lescanne,Katarzyna Grygiel Journal of Functional Programming, 2013, 23 (05), pp.594-628. ⟨10.1017/S0956796813000178⟩ Article dans une revue ensl-00879067v1
On counting untyped lambda terms Pierre Lescanne Theoretical Computer Science, 2013, 474, pp.80-97. ⟨10.1016/j.tcs.2012.11.019⟩ Article dans une revue ensl-00578527v9
Backward'' Coinduction, Nash equilibrium and the Rationality of Escalation Pierre Lescanne,Matthieu Perrinel Acta Informatica, 2012, 49 (3), pp.117-137. ⟨10.1007/s00236-012-0153-3⟩ Article dans une revue istex ensl-00692767v1
On the Rationality of Escalation Pierre Lescanne,Perrinel Matthieu none, 2012, pp.23 Article dans une revue ensl-00439911v2
Est-ce que ça s'arrête ? Pierre Lescanne Images des mathématiques, 2009, http://images.math.cnrs.fr/Est-ce-que-ca-s-arrete.html Article dans une revue hal-00583742v1
Et si on commençait par les fonctions ! Pierre Lescanne Images des mathématiques, 2009, http://images.math.cnrs.fr/Et-si-on-commencait-par-les.html Article dans une revue hal-00583647v1
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems Max Dauchet,Thierry Heuillard,Pierre Lescanne,Sophie Tison Information and Computation, 1990, 88 (2), pp.187-201. ⟨10.1016/0890-5401(90)90015-A⟩ Article dans une revue hal-02193891v1

Communication dans un congrès (13)

Combinatorics of Explicit Substitutions Maciej Bendkowski,Pierre Lescanne PPDP 2016, ACM et Université de Francfort de, Sep 2018, Frankfurt am Main, France. ⟨10.1145/3236950.3236951⟩ Communication dans un congrès ensl-01892388v1
A Congruence Relation for Restructuring Classical Terms Pierre Lescanne,Dragisa Zunic 18th Italian Conference on Theoretical Computer Science, Oct 2018, Naples, Italy. pp.186-197 Communication dans un congrès ensl-01892440v1
Counting Environments and Closures Pierre Lescanne,Maciej Bendkowski FSCD 2018, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.11⟩ Communication dans un congrès ensl-01892406v1
A Natural Counting of Lambda Terms Pierre Lescanne,Maciej Bendkowski,Katarzyna Grygiel,Marek Zaionc SOFSEM 2016, Jan 2016, Harrachov, Czech Republic Communication dans un congrès ensl-01892447v1
Intersection types fit well with resource control Pierre Lescanne,Silvia Ghilezan,Jelena Ivetic,Silvia Likavec 21st International Conference on Types for Proofs and Programs, May 2015, Tallinn, Estonia Communication dans un congrès ensl-01892569v1
Counting Terms in the Binary Lambda Calculus Katarzyna Grygiel,Pierre Lescanne 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Jun 2014, Paris, France. pp.13 Communication dans un congrès ensl-00923203v1
A simple case of rationality of escalation Pierre Lescanne 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Sep 2013, Warsaw, Poland. pp.191-204 Communication dans un congrès ensl-00832490v1
Intersection Types for the Resource Control Lambda Calculi Pierre Lescanne,Silvia Ghilezan,Jelena Ivetic,Silvia Likavec Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Aug 2011, Johannesburg, South Africa. pp.116-134 Communication dans un congrès ensl-00654755v1
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules Pierre Lescanne,Silvia Ghilezan,Jelena Ivetic,Dragisa Zunic Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, Sep 2009, Bakuriani, Georgia. pp.101-124 Communication dans un congrès ensl-00654762v1
Rewriting game theory as a foundation for sate-based models of gene regulation Chafika Chettaoui,Franck Delaplace,Pierre Lescanne,Mun'delanji Vestergaard,René Vestergaard International Conference on Computational Methods in Systems Biology (CMSB 2006), Oct 2006, Trento, Italy. pp.257-270, ⟨10.1007/11885191_18⟩ Communication dans un congrès istex hal-00339800v1
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract] Dan Dougherty,Pierre Lescanne,Luigi Liquori,Frédéric Lang 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⟩ Communication dans un congrès hal-01149607v1
A Generic Object-Calculus Based on Addressed Term Rewriting Systems Daniel J. Dougherty,Frederic Lang,Pierre Lescanne,Luigi Liquori,Kristoffer Rose Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25 Communication dans un congrès hal-01152576v1
Decidability of the Confluence of Ground Term Rewriting Systems. Max Dauchet,Sophie Tison,Thierry Heuillard,Pierre Lescanne LICS 1987 - Second Annual IEEE Symposium on Logic in Computer Science, Jun 1987, Ithaca, New York, United States Communication dans un congrès hal-02193998v1

Chapitre d'ouvrage (2)

Common Knowledge Logic in a Higher Order Proof Assistant Pierre Lescanne Andrei Voronkov, Christoph Weidenbach. Programming Logics - Essays in Memory of Harald Ganzinger., Springer, pp.271-284, 2013, Lecture Notes in Computer Science Chapitre d'ouvrage ensl-00869081v1
Common knowledge logic in a higher order proof assistant Pierre Lescanne Andreï Voronkov & Christoph Weidenbach. Memory of Harald Ganzinger 2013, 7797, Springer, pp.271-284, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-40206-7_15⟩ Chapitre d'ouvrage ensl-00199368v3

Pré-publication, Document de travail (24)

List types for resource aware languages: an implicit name approach Silvia Ghilezan,Jelena Ivetić,Pierre Lescanne,Simona Kašterović 2026 Pré-publication, Document de travail hal-03498420v3
Almost all classical theorems are intuitionistic Pierre Lescanne 2022 Pré-publication, Document de travail hal-03197423v6
L'informatique de Claude Pair Marion Créhange,Pierre Lescanne,Alain Quéré 2021 Pré-publication, Document de travail hal-03193950v2
Extensive Infinite Games and Escalation, an exercice in Agda Pierre Lescanne 2020 Pré-publication, Document de travail hal-02874762v1
Counting Environments and Closures Pierre Lescanne,Maciej Bendkowski 2018 Pré-publication, Document de travail ensl-01700703v1
Quantitative aspects of linear and affine closed lambda terms Pierre Lescanne 2017 Pré-publication, Document de travail ensl-01464047v5
Dependent Types for Extensive Games Pierre Lescanne 2016 Pré-publication, Document de travail ensl-01391418v3
A NATURAL COUNTING OF LAMBDA TERMS Maciej Bendkowski,Katarzyna Grygiel,Pierre Lescanne,Marek Zaionc 2016 Pré-publication, Document de travail ensl-01159746v3
Counting and Generating Terms in the Binary Lambda Calculus (Extended version) Katarzyna Grygiel,Pierre Lescanne 2015 Pré-publication, Document de travail ensl-01229794v1
Boltzmann samplers for random generation of lambda terms Pierre Lescanne 2014 Pré-publication, Document de travail ensl-00979074v2
Bubbles are rational Pierre Lescanne 2013 Pré-publication, Document de travail ensl-00819188v1
An exercise on streams: convergence acceleration Pierre Lescanne 2013 Pré-publication, Document de travail ensl-00920026v2
Computational interpretation of classical logic with explicit structural rules Silvia Ghilezan,Pierre Lescanne,Dragisa Zunic 2012 Pré-publication, Document de travail ensl-00681296v1
Counting and generating lambda terms Katarzyna Grygiel,Pierre Lescanne 2012 Pré-publication, Document de travail ensl-00740034v7
Resource control and strong normalisation Silvia Ghilezan,Jelena Ivetic,Pierre Lescanne,Silvia Likavec 2011 Pré-publication, Document de travail ensl-00651985v3
Les crashs sont rationnels Pierre Lescanne 2011 Pré-publication, Document de travail ensl-00646546v5
Resource control and strong normalisation (old version) Silvia Ghilezan,Jelena Ivetic,Pierre Lescanne,Silvia Likavec 2011 Pré-publication, Document de travail ensl-00690095v1
Rationality and Escalation in Infinite Extensive Games Pierre Lescanne 2011 Pré-publication, Document de travail ensl-00594744v4
Deconstruction of Infinite Extensive Games using coinduction Pierre Lescanne 2009 Pré-publication, Document de travail ensl-00376141v2
HedN Game, a Relational Framework for Network Based Cooperation Franck Delaplace,Pierre Lescanne 2009 Pré-publication, Document de travail hal-00382514v2
Feasibility/Desirability Games for Normal Form Games, Choice Models and Evolutionary Games Pierre Lescanne 2009 Pré-publication, Document de travail ensl-00408519v1
Mechanical Reasoning on Infinite Extensive Games Pierre Lescanne 2008 Pré-publication, Document de travail ensl-00278405v4
Dynamic Logic of Common Knowledge in a Proof Assistant Pierre Lescanne,Jérôme Puisségur 2007 Pré-publication, Document de travail ensl-00198782v1
CP games : a tutorial Pierre Lescanne 2007 Pré-publication, Document de travail ensl-00121361v3

Rapport (2)

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