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
Journal articles
hal-00583742v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
CP games : a tutorial
Pierre Lescanne
2007
Preprints, Working Papers, ...
ensl-00121361v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Conference papers
ensl-01892440v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Rewriting game theory as a foundation for sate-based models of gene regulation
Chafika Chettaoui
,
Franck Delaplace
,
Pierre Lescanne
,
Mun'delanji Vestergaard
,
René Vestergaard
et al.
International Conference on Computational Methods in Systems Biology (CMSB 2006) , Oct 2006, Trento, Italy. pp.257-270,
⟨10.1007/11885191_18⟩
Conference papers
hal-00339800v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Book sections
ensl-00869081v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Conference papers
hal-02193998v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computational interpretation of classical logic with explicit structural rules
Silvia Ghilezan
,
Pierre Lescanne
,
Dragisa Zunic
2012
Preprints, Working Papers, ...
ensl-00681296v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
L-types for resource awareness: an implicit name approach
Silvia Ghilezan
,
Jelena Ivetić
,
Simona Kašterović
,
Pierre Lescanne
2021
Preprints, Working Papers, ...
hal-03498420v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deconstruction of Infinite Extensive Games using coinduction
Pierre Lescanne
2009
Preprints, Working Papers, ...
ensl-00376141v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Journal articles
hal-02193891v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Counting Environments and Closures
Pierre Lescanne
,
Maciej Bendkowski
Conference papers
ensl-01892406v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Reports
ensl-00823621v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Extensive Infinite Games and Escalation, an exercice in Agda
Pierre Lescanne
2020
Preprints, Working Papers, ...
hal-02874762v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An exercise on streams: convergence acceleration
Pierre Lescanne
2013
Preprints, Working Papers, ...
ensl-00920026v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Quantitative aspects of linear and affine closed lambda terms
Pierre Lescanne
2017
Preprints, Working Papers, ...
ensl-01464047v5
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Resource control and strong normalisation
Silvia Ghilezan
,
Jelena Ivetic
,
Pierre Lescanne
,
Silvia Likavec
2011
Preprints, Working Papers, ...
ensl-00651985v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Counting and generating lambda terms
Pierre Lescanne
,
Katarzyna Grygiel
Journal articles
ensl-00879067v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Les crashs sont rationnels
Pierre Lescanne
2011
Preprints, Working Papers, ...
ensl-00646546v5
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Zaionc paradox revisited
Pierre Lescanne
2022
Preprints, Working Papers, ...
hal-03197423v6
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Combinatorics of Explicit Substitutions
Maciej Bendkowski
,
Pierre Lescanne
Conference papers
ensl-01892388v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dependent Types for Extensive Games
Pierre Lescanne
J. Formalized Reasoning , 2018
Journal articles
ensl-01892386v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Counting and Generating Terms in the Binary Lambda Calculus (Extended version)
Katarzyna Grygiel
,
Pierre Lescanne
2015
Preprints, Working Papers, ...
ensl-01229794v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dynamic Logic of Common Knowledge in a Proof Assistant
Pierre Lescanne
,
Jérôme Puisségur
2007
Preprints, Working Papers, ...
ensl-00198782v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Combinatorics of lambda-terms: a natural approach
Pierre Lescanne
,
Maciej Bendkowski
,
Katarzyna Grygiel
,
Marek Zaionc
J. Log. Comput. , 2017
Journal articles
ensl-01892425v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On counting untyped lambda terms
Pierre Lescanne
Journal articles
ensl-00578527v9
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Bubbles are rational
Pierre Lescanne
2013
Preprints, Working Papers, ...
ensl-00819188v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the Rationality of Escalation
Pierre Lescanne
,
Perrinel Matthieu
none , 2012, pp.23
Journal articles
ensl-00439911v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Resource control and strong normalisation (old version)
Silvia Ghilezan
,
Jelena Ivetic
,
Pierre Lescanne
,
Silvia Likavec
2011
Preprints, Working Papers, ...
ensl-00690095v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
L'informatique de Claude Pair
Marion Créhange
,
Pierre Lescanne
,
Alain Quéré
2021
Preprints, Working Papers, ...
hal-03193950v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dependent Types for Extensive Games
Pierre Lescanne
2016
Preprints, Working Papers, ...
ensl-01391418v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More