Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

55 Results
authIdHal_s : pierre-lescanne
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
Journal articles hal-00583742v1
Image document

CP games : a tutorial

Pierre Lescanne
2007
Preprints, Working Papers, ... ensl-00121361v3

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

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

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

Computational interpretation of classical logic with explicit structural rules

Silvia Ghilezan , Pierre Lescanne , Dragisa Zunic
2012
Preprints, Working Papers, ... ensl-00681296v1
Image document

L-types for resource awareness: an implicit name approach

Silvia Ghilezan , Jelena Ivetić , Simona Kašterović , Pierre Lescanne
2021
Preprints, Working Papers, ... hal-03498420v1
Image document

Deconstruction of Infinite Extensive Games using coinduction

Pierre Lescanne
2009
Preprints, Working Papers, ... ensl-00376141v2

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⟩
Journal articles hal-02193891v1

Counting Environments and Closures

Pierre Lescanne , Maciej Bendkowski
FSCD 2018, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.11⟩
Conference papers ensl-01892406v1
Image document

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

Extensive Infinite Games and Escalation, an exercice in Agda

Pierre Lescanne
2020
Preprints, Working Papers, ... hal-02874762v1
Image document

An exercise on streams: convergence acceleration

Pierre Lescanne
2013
Preprints, Working Papers, ... ensl-00920026v2
Image document

Quantitative aspects of linear and affine closed lambda terms

Pierre Lescanne
2017
Preprints, Working Papers, ... ensl-01464047v5
Image document

Resource control and strong normalisation

Silvia Ghilezan , Jelena Ivetic , Pierre Lescanne , Silvia Likavec
2011
Preprints, Working Papers, ... ensl-00651985v3

Counting and generating lambda terms

Pierre Lescanne , Katarzyna Grygiel
Journal of Functional Programming, 2013, 23 (05), pp.594-628. ⟨10.1017/S0956796813000178⟩
Journal articles ensl-00879067v1
Image document

Les crashs sont rationnels

Pierre Lescanne
2011
Preprints, Working Papers, ... ensl-00646546v5
Image document

Zaionc paradox revisited

Pierre Lescanne
2022
Preprints, Working Papers, ... hal-03197423v6

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⟩
Conference papers ensl-01892388v1

Dependent Types for Extensive Games

Pierre Lescanne
J. Formalized Reasoning, 2018
Journal articles ensl-01892386v1
Image document

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

Katarzyna Grygiel , Pierre Lescanne
2015
Preprints, Working Papers, ... ensl-01229794v1
Image document

Dynamic Logic of Common Knowledge in a Proof Assistant

Pierre Lescanne , Jérôme Puisségur
2007
Preprints, Working Papers, ... ensl-00198782v1

Combinatorics of lambda-terms: a natural approach

Pierre Lescanne , Maciej Bendkowski , Katarzyna Grygiel , Marek Zaionc
J. Log. Comput., 2017
Journal articles ensl-01892425v1
Image document

On counting untyped lambda terms

Pierre Lescanne
Theoretical Computer Science, 2013, 474, pp.80-97. ⟨10.1016/j.tcs.2012.11.019⟩
Journal articles ensl-00578527v9
Image document

Bubbles are rational

Pierre Lescanne
2013
Preprints, Working Papers, ... ensl-00819188v1
Image document

On the Rationality of Escalation

Pierre Lescanne , Perrinel Matthieu
none, 2012, pp.23
Journal articles ensl-00439911v2
Image document

Resource control and strong normalisation (old version)

Silvia Ghilezan , Jelena Ivetic , Pierre Lescanne , Silvia Likavec
2011
Preprints, Working Papers, ... ensl-00690095v1
Image document

L'informatique de Claude Pair

Marion Créhange , Pierre Lescanne , Alain Quéré
2021
Preprints, Working Papers, ... hal-03193950v2
Image document

Dependent Types for Extensive Games

Pierre Lescanne
2016
Preprints, Working Papers, ... ensl-01391418v3