Accéder directement au contenu

Pierre Lescanne

56
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

Image document

Holonomic equations and efficient random generation of binary trees

Pierre Lescanne
Discrete Mathematics and Theoretical Computer Science, 2023, vol. 25:2
Article dans une revue hal-03674690v6
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-04130697v2

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

Dependent Types for Extensive Games

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

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

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

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

On the Rationality of Escalation

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

''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 ensl-00692767v1
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-00583647v1
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-00583742v1

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

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

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

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
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-00923203v1
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-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 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 hal-00339691v1
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 hal-00339800v1
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-01149607v1
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-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
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-00199368v3

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

Zaionc paradox revisited

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

L'informatique de Claude Pair

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

L-types for resource awareness: an implicit name approach

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

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

Quantitative aspects of linear and affine closed lambda terms

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

Dependent Types for Extensive Games

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

A NATURAL COUNTING OF LAMBDA TERMS

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

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

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

Boltzmann samplers for random generation of lambda terms

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

An exercise on streams: convergence acceleration

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

Bubbles are rational

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

Counting and generating lambda terms

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

Computational interpretation of classical logic with explicit structural rules

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

Rationality and Escalation in Infinite Extensive Games

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

Les crashs sont rationnels

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

Resource control and strong normalisation

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

Resource control and strong normalisation (old version)

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

HedN Game, a Relational Framework for Network Based Cooperation

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

Deconstruction of Infinite Extensive Games using coinduction

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

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

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

Mechanical Reasoning on Infinite Extensive Games

Pierre Lescanne
2008
Pré-publication, Document de travail ensl-00278405v4
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-00198782v1
Image document

CP games : a tutorial

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