Pierre Lescanne

58
Documents

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

Publications

Publications

Image document

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-03674690 v6

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-04864683 v1
Image document

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-04130697 v2

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-04864739 v1

Dependent Types for Extensive Games

Pierre Lescanne
J. Formalized Reasoning, 2018
Article dans une revue ensl-01892386 v1

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-01892358 v1

Combinatorics of lambda-terms: a natural approach

Pierre Lescanne , Maciej Bendkowski , Katarzyna Grygiel , Marek Zaionc
J. Log. Comput., 2017
Article dans une revue ensl-01892425 v1

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-01892455 v1

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-00937354 v1
Image document

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-00578527 v9

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-00879067 v1

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-00692767 v1
Image document

On the Rationality of Escalation

Pierre Lescanne , Perrinel Matthieu
none, 2012, pp.23
Article dans une revue ensl-00439911 v2
Image document

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-00583742 v1
Image document

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-00583647 v1

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-02193891 v1

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-01892440 v1

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-01892406 v1

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-01892388 v1

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-01892447 v1

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-01892569 v1
Image document

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-00923203 v1
Image document

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-00832490 v1

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-00654755 v1

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-00654762 v1
Image document

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-00339800 v1

Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation

Chafika Chettaoui , Franck Delaplace , Pierre Lescanne , Mun'delanji Vestergaard , René Vestergaard
Computational Methods in Systems Biology (CMSB), 2006, Italy. pp.257--270, ⟨10.1007/11885191_18⟩
Communication dans un congrès istex hal-00339691 v1
Image document

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-01149607 v1
Image document

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-01152576 v1

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-02193998 v1

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-00869081 v1
Image document

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-00199368 v3
Image document

L-types for resource aware languages: an implicit name approach

Silvia Ghilezan , Jelena Ivetić , Simona Kašterović , Pierre Lescanne
2025
Pré-publication, Document de travail hal-03498420 v2
Image document

Zaionc paradox revisited

Pierre Lescanne
2022
Pré-publication, Document de travail hal-03197423 v6
Image document

L'informatique de Claude Pair

Marion Créhange , Pierre Lescanne , Alain Quéré
2021
Pré-publication, Document de travail hal-03193950 v2
Image document

Extensive Infinite Games and Escalation, an exercice in Agda

Pierre Lescanne
2020
Pré-publication, Document de travail hal-02874762 v1

Counting Environments and Closures

Pierre Lescanne , Maciej Bendkowski
2018
Pré-publication, Document de travail ensl-01700703 v1
Image document

Quantitative aspects of linear and affine closed lambda terms

Pierre Lescanne
2017
Pré-publication, Document de travail ensl-01464047 v5
Image document

Dependent Types for Extensive Games

Pierre Lescanne
2016
Pré-publication, Document de travail ensl-01391418 v3
Image document

A NATURAL COUNTING OF LAMBDA TERMS

Maciej Bendkowski , Katarzyna Grygiel , Pierre Lescanne , Marek Zaionc
2016
Pré-publication, Document de travail ensl-01159746 v3
Image document

Counting and Generating Terms in the Binary Lambda Calculus (Extended version)

Katarzyna Grygiel , Pierre Lescanne
2015
Pré-publication, Document de travail ensl-01229794 v1
Image document

Boltzmann samplers for random generation of lambda terms

Pierre Lescanne
2014
Pré-publication, Document de travail ensl-00979074 v2
Image document

Bubbles are rational

Pierre Lescanne
2013
Pré-publication, Document de travail ensl-00819188 v1
Image document

An exercise on streams: convergence acceleration

Pierre Lescanne
2013
Pré-publication, Document de travail ensl-00920026 v2
Image document

Computational interpretation of classical logic with explicit structural rules

Silvia Ghilezan , Pierre Lescanne , Dragisa Zunic
2012
Pré-publication, Document de travail ensl-00681296 v1
Image document

Counting and generating lambda terms

Katarzyna Grygiel , Pierre Lescanne
2012
Pré-publication, Document de travail ensl-00740034 v7
Image document

Resource control and strong normalisation (old version)

Silvia Ghilezan , Jelena Ivetic , Pierre Lescanne , Silvia Likavec
2011
Pré-publication, Document de travail ensl-00690095 v1
Image document

Resource control and strong normalisation

Silvia Ghilezan , Jelena Ivetic , Pierre Lescanne , Silvia Likavec
2011
Pré-publication, Document de travail ensl-00651985 v3
Image document

Les crashs sont rationnels

Pierre Lescanne
2011
Pré-publication, Document de travail ensl-00646546 v5
Image document

Rationality and Escalation in Infinite Extensive Games

Pierre Lescanne
2011
Pré-publication, Document de travail ensl-00594744 v4
Image document

Deconstruction of Infinite Extensive Games using coinduction

Pierre Lescanne
2009
Pré-publication, Document de travail ensl-00376141 v2
Image document

HedN Game, a Relational Framework for Network Based Cooperation

Franck Delaplace , Pierre Lescanne
2009
Pré-publication, Document de travail hal-00382514 v2
Image document

Feasibility/Desirability Games for Normal Form Games, Choice Models and Evolutionary Games

Pierre Lescanne
2009
Pré-publication, Document de travail ensl-00408519 v1
Image document

Mechanical Reasoning on Infinite Extensive Games

Pierre Lescanne
2008
Pré-publication, Document de travail ensl-00278405 v4
Image document

CP games : a tutorial

Pierre Lescanne
2007
Pré-publication, Document de travail ensl-00121361 v3
Image document

Dynamic Logic of Common Knowledge in a Proof Assistant

Pierre Lescanne , Jérôme Puisségur
2007
Pré-publication, Document de travail ensl-00198782 v1