% csauthors.net - beta - BibTeX bibliography of Pierre Lescanne
@article{journals/ita/Lescanne76,
title = {Équivalence Entre la Famille des Ensembles Réguliers et la Famille des Ensembles Algébriques.},
year = {1976},
journal = {RAIRO Theor. Informatics Appl.},
author = {{Pierre Lescanne}}
}
@inproceedings{conf/caap/GuyardL80,
title = {Manipulation d'arbres syntaxiques et contruction de programmes (Résumé).},
year = {1980},
booktitle = {CLAAP},
author = {{Jacques Guyard} and {Pierre Lescanne}},
publisher = {Université de Lille 1},
booktitle = {Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980}
}
@inproceedings{conf/caap/GuyardL80a,
title = {Manipulation d'arbres syntaxiques et contruction de programmes.},
year = {1980},
booktitle = {CLAAP},
author = {{Jacques Guyard} and {Pierre Lescanne}},
publisher = {Université de Lille 1},
booktitle = {Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980}
}
@inproceedings{conf/ijcai/Lescanne81,
title = {Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems.},
year = {1981},
booktitle = {IJCAI},
author = {{Pierre Lescanne}},
publisher = {William Kaufmann},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial Intelligence, IJCAI '81, Vancouver, BC, Canada, August 24-28, 1981}
}
@inproceedings{conf/ifip2/JouannaudLR82,
title = {Recursive Decomposition Ordering.},
year = {1982},
booktitle = {Formal Description of Programming Concepts},
author = {{Jean-Pierre Jouannaud} and {Pierre Lescanne} and {F. Reinig}},
publisher = {North-Holland},
booktitle = {Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982}
}
@article{journals/ipl/JouannaudL82,
title = {On Multiset Orderings.},
year = {1982},
journal = {Inf. Process. Lett.},
author = {{Jean-Pierre Jouannaud} and {Pierre Lescanne}}
}
@article{journals/ita/Lescanne82,
title = {Modèles non Déterministes de Types Abstraits.},
year = {1982},
journal = {RAIRO Theor. Informatics Appl.},
author = {{Pierre Lescanne}}
}
@article{journals/ita/Lescanne82a,
title = {Some Properties of Decomposition Ordering, a Simplification Ordering to Prove Termination of Rewriting Systems.},
year = {1982},
journal = {RAIRO Theor. Informatics Appl.},
author = {{Pierre Lescanne}}
}
@inproceedings{conf/icalp/LescanneS83,
title = {On the Study Data Structures: Binary Tournaments with Repeated Keys.},
year = {1983},
booktitle = {ICALP},
author = {{Pierre Lescanne} and {Jean-Marc Steyaert}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings}
}
@inproceedings{conf/popl/Lescanne83,
title = {Computer Experiments with the Reve Term Rewriting System Generator.},
year = {1983},
booktitle = {POPL},
author = {{Pierre Lescanne}},
publisher = {ACM Press},
booktitle = {Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983}
}
@article{journals/cj/Lescanne83,
title = {Behavioural Categoricity of Abstract Data Type Specifications.},
year = {1983},
journal = {Comput. J.},
author = {{Pierre Lescanne}}
}
@inproceedings{conf/caap/Lescanne84,
title = {Uniform Termination of Term Rewriting Systems: Recursive Decomposition Ordering with Status.},
year = {1984},
booktitle = {CAAP},
author = {{Pierre Lescanne}},
publisher = {Cambridge University Press},
booktitle = {CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings}
}
@inproceedings{conf/cade/Lescanne84,
title = {Term Rewriting Systems and Algebra.},
year = {1984},
booktitle = {CADE},
author = {{Pierre Lescanne}},
publisher = {Springer},
booktitle = {7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings}
}
@inproceedings{conf/rta/RetyKKL85,
title = {NARROWER: A New Algorithm for Unification and Its Application to Logic Programming.},
year = {1985},
booktitle = {RTA},
author = {{Pierre Réty} and {Claude Kirchner} and {Hélène Kirchner} and {Pierre Lescanne}},
publisher = {Springer},
booktitle = {Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings}
}
@inproceedings{conf/cade/CherifaL86,
title = {An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations.},
year = {1986},
booktitle = {CADE},
author = {{Ahlem Ben Cherifa} and {Pierre Lescanne}},
publisher = {Springer},
booktitle = {8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings}
}
@inproceedings{conf/cade/GnaedigL86,
title = {Proving Termination of Associative Commutative Rewriting Systems by Rewriting.},
year = {1986},
booktitle = {CADE},
author = {{Isabelle Gnaedig} and {Pierre Lescanne}},
publisher = {Springer},
booktitle = {8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings}
}
@inproceedings{conf/cade/Lescanne86,
title = {REVE a Rewrite Rule Laboratory.},
year = {1986},
booktitle = {CADE},
author = {{Pierre Lescanne}},
publisher = {Springer},
booktitle = {8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings}
}
@article{journals/eatcs/Lescanne86,
title = {Divergence of the Knuth-Bendix Completion Procedure and Termination Orderings.},
year = {1986},
journal = {Bull. EATCS},
author = {{Pierre Lescanne}}
}
@inproceedings{conf/ibm/Lescanne87,
title = {Current Trends in Rewriting Techniques and Related Problems.},
year = {1987},
booktitle = {Trends in Computer Algebra},
author = {{Pierre Lescanne}},
publisher = {Springer},
booktitle = {Trends in Computer Algebra, International Symposium, Bad Neuenahr, Germany, May 19-21, 1987, Proceedings}
}
@inproceedings{conf/lics/DauchetTHL87,
title = {Decidability of the Confluence of Ground Term Rewriting Systems},
year = {1987},
booktitle = {LICS},
author = {{Max Dauchet} and {Sophie Tison} and {Thierry Heuillard} and {Pierre Lescanne}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987}
}
@inproceedings{conf/lics/KirchnerL87,
title = {Solving Disequations},
year = {1987},
booktitle = {LICS},
author = {{Claude Kirchner} and {Pierre Lescanne}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987}
}
@inproceedings{conf/tapsoft/BellegardeL87,
title = {Transformation Ordering.},
year = {1987},
booktitle = {TAPSOFT, Vol.1},
author = {{Françoise Bellegarde} and {Pierre Lescanne}},
publisher = {Springer},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87)}
}
@article{journals/scp/CherifaL87,
title = {Termination of Rewriting Systems by Polynomial Interpretations and Its Implementation.},
year = {1987},
journal = {Sci. Comput. Program.},
author = {{Ahlem Ben Cherifa} and {Pierre Lescanne}}
}
@inproceedings{conf/tapsoft/Lescanne89,
title = {Completion Procedures as Transition Rules + Control.},
year = {1989},
booktitle = {TAPSOFT, Vol.1},
author = {{Pierre Lescanne}},
publisher = {Springer},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89)}
}
@article{journals/eatcs/Luscanne89,
title = {Well quasi-ordering in a paper by Maurice Janet.},
year = {1989},
journal = {Bull. EATCS},
author = {{Pierre Lescanne}}
}
@article{journals/jsc/ComonL89,
title = {Equational Problems and Disunification.},
year = {1989},
journal = {J. Symb. Comput.},
author = {{Hubert Comon} and {Pierre Lescanne}}
}
@inproceedings{conf/alp/Lescanne90,
title = {Implementations of Completion by Transition Rules + Control: ORME.},
year = {1990},
booktitle = {ALP},
author = {{Pierre Lescanne}},
publisher = {Springer},
booktitle = {Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings}
}
@inproceedings{conf/cade/Lescanne90,
title = {ORME: An Implementation of Completion Procedures as Sets of Transition Rules.},
year = {1990},
booktitle = {CADE},
author = {{Pierre Lescanne}},
publisher = {Springer},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings}
}
@inproceedings{conf/lics/Lescanne90,
title = {Well Rewrite Orderings},
year = {1990},
booktitle = {LICS},
author = {{Pierre Lescanne}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990}
}
@article{journals/aaecc/BellegardeL90,
title = {Termination by Completion.},
year = {1990},
journal = {Appl. Algebra Eng. Commun. Comput.},
author = {{Françoise Bellegarde} and {Pierre Lescanne}}
}
@article{journals/jar/Lescanne90,
title = {On the Recursive Decomposition Ordering with Lexicographical Status and Other Related Orderings.},
year = {1990},
journal = {J. Autom. Reason.},
author = {{Pierre Lescanne}}
}
@article{journals/iandc/LazrekLT90,
title = {Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness},
year = {1990},
month = {January},
journal = {Inf. Comput.},
author = {{Azeddine Lazrek} and {Pierre Lescanne} and {Jean-Jacques Thiel}}
}
@article{journals/iandc/DauchetHLT90,
title = {Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems},
year = {1990},
month = {October},
journal = {Inf. Comput.},
author = {{Max Dauchet} and {Thierry Heuillard} and {Pierre Lescanne} and {Sophie Tison}}
}
@inproceedings{conf/mfcs/Lescanne91,
title = {Rewrite Orderings and Termination of Rewrite Systems.},
year = {1991},
booktitle = {MFCS},
author = {{Pierre Lescanne}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings}
}
@article{journals/sigact/KirchnerL91,
title = {Rewriting techniques and applications, RTA'91.},
year = {1991},
journal = {SIGACT News},
author = {{Hélène Kirchner} and {Pierre Lescanne}}
}
@inproceedings{conf/cade/CichonL92,
title = {Polynomial Interpretations and the Complexity of Algorithms.},
year = {1992},
booktitle = {CADE},
author = {{Adam Cichon} and {Pierre Lescanne}},
publisher = {Springer},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings}
}
@inproceedings{conf/larch/ChetaliL92,
title = {An Exercise in LP: The Proof of a Non Restoring Division Circuit.},
year = {1992},
booktitle = {Larch},
author = {{Boutheina Chetali} and {Pierre Lescanne}},
publisher = {Springer},
booktitle = {First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992}
}
@article{journals/jlp/HsiangKLR92,
title = {The Term Rewriting Approach to Automated Theorem Proving.},
year = {1992},
journal = {J. Log. Program.},
author = {{Jieh Hsiang} and {Hélène Kirchner} and {Pierre Lescanne} and {Michaël Rusinowitch}}
}
@article{journals/jlp/LescanneW92,
title = {Introduction - ALP 1988.},
year = {1992},
journal = {J. Log. Program.},
author = {{Pierre Lescanne} and {Wolfgang Wechler}}
}
@article{journals/jsc/Lescanne92,
title = {Well Rewrite Orderings and Well Quasi-Orderings.},
year = {1992},
journal = {J. Symb. Comput.},
author = {{Pierre Lescanne}}
}
@inproceedings{conf/popl/Lescanne94,
title = {From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions.},
year = {1994},
booktitle = {POPL},
author = {{Pierre Lescanne}},
publisher = {ACM Press},
booktitle = {Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994}
}
@article{journals/tcs/Lescanne94,
title = {On Termination of One Rule Rewrite Systems.},
year = {1994},
journal = {Theor. Comput. Sci.},
author = {{Pierre Lescanne}}
}
@inproceedings{conf/compass/Lescanne95,
title = {The Lambda Calculus as an Abstract Data Type.},
year = {1995},
booktitle = {COMPASS/ADT},
author = {{Pierre Lescanne}},
publisher = {Springer},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers}
}
@inproceedings{conf/forte/ChetaliL95,
title = {Formal Verfication of a Protocol for Communications over Faulty Channels.},
year = {1995},
booktitle = {FORTE},
author = {{Boutheina Chetali} and {Pierre Lescanne}},
publisher = {Chapman & Hall},
booktitle = {Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995}
}
@inproceedings{conf/rta/LescanneR95,
title = {Explicit Substitutions with de Bruijn's Levels.},
year = {1995},
booktitle = {RTA},
author = {{Pierre Lescanne} and {Jocelyne Rouyer-Degli}},
publisher = {Springer},
booktitle = {Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings}
}
@article{journals/fac/Lescanne95,
title = {Termination of Rewrite Systems by Elementary Interpretations.},
year = {1995},
journal = {Formal Aspects Comput.},
author = {{Pierre Lescanne}}
}
@inproceedings{conf/agp/Lescanne96,
title = {Calculi of Explicit Substitutions: New Results.},
year = {1996},
booktitle = {APPIA-GULP-PRODE},
author = {{Pierre Lescanne}},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996}
}
@inproceedings{conf/plilp/BenaissaLR96,
title = {Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.},
year = {1996},
booktitle = {PLILP},
author = {{Zine-El-Abidine Benaissa} and {Pierre Lescanne} and {Kristoffer Høgsbro Rose}},
publisher = {Springer},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}
}
@article{journals/jfp/BenaissaBLR96,
title = {lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation.},
year = {1996},
journal = {J. Funct. Program.},
author = {{Zine-El-Abidine Benaissa} and {Daniel Briaud} and {Pierre Lescanne} and {Jocelyne Rouyer-Degli}}
}
@article{journals/tcs/KucherovLM96,
title = {Valentin M. Antimirov (1961-1995).},
year = {1996},
journal = {Theor. Comput. Sci.},
author = {{Gregory Kucherov} and {Pierre Lescanne} and {Peter D. Mosses}}
}
@inproceedings{conf/fm/LangLL99,
title = {A Framework for Defining Object-Calculi.},
year = {1999},
booktitle = {World Congress on Formal Methods},
author = {{Frédéric Lang} and {Pierre Lescanne} and {Luigi Liquori}},
publisher = {Springer},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II}
}
@article{journals/jflp/LangL00,
title = {On Strong Normalization of Explicit Substitution Calculi (Short Note).},
year = {2000},
journal = {J. Funct. Log. Program.},
author = {{Frédéric Lang} and {Pierre Lescanne}}
}
@article{journals/aaecc/GieslL01,
title = {Special Issue "Termination".},
year = {2001},
journal = {Appl. Algebra Eng. Commun. Comput.},
author = {{Jürgen Giesl} and {Pierre Lescanne}}
}
@inproceedings{conf/ifipTCS/DoughertyLL02,
title = {An Improved System of Intersection Types for Explicit Substitutions.},
year = {2002},
booktitle = {IFIP TCS},
author = {{Daniel J. Dougherty} and {Stéphane Lengrand} and {Pierre Lescanne}},
publisher = {Kluwer},
booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montréal, Québec, Canada}
}
@inproceedings{conf/types/GhilezanL03,
title = {Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract.},
year = {2003},
booktitle = {TYPES},
author = {{Silvia Ghilezan} and {Pierre Lescanne}},
publisher = {Springer},
booktitle = {Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers}
}
@article{journals/mscs/DoughertyL03,
title = {Reductions, Intersection Types, and Explicit Substitutions.},
year = {2003},
journal = {Math. Struct. Comput. Sci.},
author = {{Daniel J. Dougherty} and {Pierre Lescanne}}
}
@inproceedings{conf/ppdp/DoughertyGL04,
title = {Characterizing strong normalization in a language with control operators.},
year = {2004},
booktitle = {PPDP},
author = {{Daniel J. Dougherty} and {Silvia Ghilezan} and {Pierre Lescanne}},
publisher = {ACM},
booktitle = {Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy}
}
@inproceedings{journals/entcs/DoughertyGL05,
title = {Intersection and Union Types in the lambda-my-my/tilde-calculus.},
year = {2004},
booktitle = {ITRS},
author = {{Daniel J. Dougherty} and {Silvia Ghilezan} and {Pierre Lescanne}},
publisher = {Elsevier},
booktitle = {Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004}
}
@inproceedings{journals/entcs/DoughertyLLL05,
title = {Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.},
year = {2004},
booktitle = {TERMGRAPH},
author = {{Daniel J. Dougherty} and {Pierre Lescanne} and {Luigi Liquori} and {Frédéric Lang}},
publisher = {Elsevier},
booktitle = {Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004}
}
@inproceedings{journals/entcs/LescanneDZ05,
title = {Preface.},
year = {2004},
booktitle = {CLA},
author = {{Pierre Lescanne} and {René David} and {Marek Zaionc}},
publisher = {Elsevier},
booktitle = {Proceedings of the Second Workshop on Computational Logic and Applications, CLA 2004, Lyon, France, June 17-18, 2004}
}
@article{journals/iandc/LengrandLDDB04,
title = {Intersection types for explicit substitutions.},
year = {2004},
journal = {Inf. Comput.},
author = {{Stéphane Lengrand} and {Pierre Lescanne} and {Daniel J. Dougherty} and {Mariangiola Dezani-Ciancaglini} and {Steffen van Bakel}}
}
@inproceedings{conf/ictcs/BakelLL05,
title = {The Language chi: Circuits, Computations and Classical Logic.},
year = {2005},
booktitle = {ICTCS},
author = {{Steffen van Bakel} and {Stéphane Lengrand} and {Pierre Lescanne}},
publisher = {Springer},
booktitle = {Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings}
}
@inproceedings{conf/lpar/DoughertyGLL05,
title = {Strong Normalization of the Dual Classical Sequent Calculus.},
year = {2005},
booktitle = {LPAR},
author = {{Daniel J. Dougherty} and {Silvia Ghilezan} and {Pierre Lescanne} and {Silvia Likavec}},
publisher = {Springer},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings}
}
@inproceedings{conf/cmsb/ChettaouiDLVV06,
title = {Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation.},
year = {2006},
booktitle = {CMSB},
author = {{Chafika Chettaoui} and {Franck Delaplace} and {Pierre Lescanne} and {Mun'delanji Vestergaard} and {René Vestergaard}},
publisher = {Springer},
booktitle = {Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings}
}
@article{journals/amai/Lescanne06,
title = {Mechanizing common knowledge logic using COQ.},
year = {2006},
journal = {Ann. Math. Artif. Intell.},
author = {{Pierre Lescanne}}
}
@article{journals/mscs/DoughertyLL06,
title = {Addressed term rewriting systems: application to a typed object calculus.},
year = {2006},
journal = {Math. Struct. Comput. Sci.},
author = {{Daniel J. Dougherty} and {Pierre Lescanne} and {Luigi Liquori}}
}
@article{journals/sigact/Lescanne06,
title = {Review of "Alfred Tarski: Life and Logic by Anita Burdman Feferman and Solomon Feferman", Cambridge University Press 2004.},
year = {2006},
journal = {SIGACT News},
author = {{Pierre Lescanne}}
}
@article{journals/corr/abs-0712-3146,
title = {Dynamic Logic of Common Knowledge in a Proof Assistant},
year = {2007},
journal = {CoRR},
author = {{Pierre Lescanne} and {Jérôme Puisségur}}
}
@article{journals/corr/abs-0805-1798,
title = {(Mechanical) Reasoning on Infinite Extensive Games},
year = {2008},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/corr/abs-0811-0071,
title = {Conversion/Preference Games},
year = {2008},
journal = {CoRR},
author = {{Stéphane Le Roux 001} and {Pierre Lescanne} and {René Vestergaard}}
}
@article{journals/mscs/BakelL08,
title = {Computation with classical sequents.},
year = {2008},
journal = {Math. Struct. Comput. Sci.},
author = {{Steffen van Bakel} and {Pierre Lescanne}}
}
@article{journals/tcs/DoughertyGL08,
title = {Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage.},
year = {2008},
journal = {Theor. Comput. Sci.},
author = {{Daniel J. Dougherty} and {Silvia Ghilezan} and {Pierre Lescanne}}
}
@inproceedings{conf/tbillc/GhilezanILZ09,
title = {Intuitionistic Sequent-Style Calculus with Explicit Structural Rules.},
year = {2009},
booktitle = {TbiLLC},
author = {{Silvia Ghilezan} and {Jelena Ivetic} and {Pierre Lescanne} and {Dragisa Zunic}},
publisher = {Springer},
booktitle = {Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers}
}
@article{journals/corr/abs-0904-3528,
title = {Deconstruction of Infinite Extensive Games using coinduction},
year = {2009},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/corr/abs-0907-5469,
title = {Feasibility/Desirability Games for Normal Form Games, Choice Models and Evolutionary Games},
year = {2009},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/corr/abs-1004-5257,
title = {On the Rationality of Escalation},
year = {2010},
journal = {CoRR},
author = {{Pierre Lescanne} and {Matthieu Perrinel}}
}
@inproceedings{conf/ictac/GhilezanILL11,
title = {Intersection Types for the Resource Control Lambda Calculi.},
year = {2011},
booktitle = {ICTAC},
author = {{Silvia Ghilezan} and {Jelena Ivetic} and {Pierre Lescanne} and {Silvia Likavec}},
publisher = {Springer},
booktitle = {Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings}
}
@article{journals/corr/abs-1111-7299,
title = {Les crashs sont rationnels},
year = {2011},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/corr/abs-1112-1185,
title = {Rationality and Escalation in Infinite Extensive Games},
year = {2011},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/corr/abs-1112-3455,
title = {Resource control and strong normalisation},
year = {2011},
journal = {CoRR},
author = {{Silvia Ghilezan} and {Jelena Ivetic} and {Pierre Lescanne} and {Silvia Likavec}}
}
@article{journals/acta/LescanneP12,
title = {"Backward" coinduction, Nash equilibrium and the rationality of escalation.},
year = {2012},
journal = {Acta Informatica},
author = {{Pierre Lescanne} and {Matthieu Perrinel}}
}
@article{journals/corr/abs-1203-4754,
title = {Computational interpretation of classical logic with explicit structural rules},
year = {2012},
journal = {CoRR},
author = {{Silvia Ghilezan} and {Pierre Lescanne} and {Dragisa Zunic}}
}
@inproceedings{conf/birthday/Lescanne13,
title = {Common Knowledge Logic in a Higher Order Proof Assistant.},
year = {2013},
booktitle = {Programming Logics},
author = {{Pierre Lescanne}},
publisher = {Springer},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger}
}
@inproceedings{conf/calco/Lescanne13,
title = {A Simple Case of Rationality of Escalation.},
year = {2013},
booktitle = {CALCO},
author = {{Pierre Lescanne}},
publisher = {Springer},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings}
}
@article{journals/corr/GhilezanILL13,
title = {A journey through resource control lambda calculi and explicit substitution using intersection types (an account).},
year = {2013},
journal = {CoRR},
author = {{Silvia Ghilezan} and {Jelena Ivetic} and {Pierre Lescanne} and {Silvia Likavec}}
}
@article{journals/corr/Lescanne13a,
title = {An exercise on streams: convergence acceleration.},
year = {2013},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/corr/abs-1305-0101,
title = {Bubbles are rational},
year = {2013},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/jfp/GrygielL13,
title = {Counting and generating lambda terms.},
year = {2013},
journal = {J. Funct. Program.},
author = {{Katarzyna Grygiel} and {Pierre Lescanne}}
}
@article{journals/tcs/Lescanne13,
title = {On counting untyped lambda terms.},
year = {2013},
journal = {Theor. Comput. Sci.},
author = {{Pierre Lescanne}}
}
@article{journals/tsi/Lescanne13,
title = {Les krachs sont rationnels.},
year = {2013},
journal = {Tech. Sci. Informatiques},
author = {{Pierre Lescanne}}
}
@article{journals/corr/GhilezanILL14,
title = {Resource control and intersection types: an intrinsic connection.},
year = {2014},
journal = {CoRR},
author = {{Silvia Ghilezan} and {Jelena Ivetic} and {Pierre Lescanne} and {Silvia Likavec}}
}
@article{journals/corr/GrygielL14,
title = {Counting Terms in the Binary Lambda Calculus.},
year = {2014},
journal = {CoRR},
author = {{Katarzyna Grygiel} and {Pierre Lescanne}}
}
@article{journals/corr/Lescanne14,
title = {Boltzmann samplers for random generation of lambda terms.},
year = {2014},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/corr/GrygielL15,
title = {Counting and Generating Terms in the Binary Lambda Calculus (Extended version).},
year = {2015},
journal = {CoRR},
author = {{Katarzyna Grygiel} and {Pierre Lescanne}}
}
@article{journals/corr/Lescanne15,
title = {Intelligent escalation and the principle of relativity.},
year = {2015},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/corr/Lescanne15a,
title = {The risk of divergence.},
year = {2015},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/dagstuhl-reports/AbramskyKLW15,
title = {Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042).},
year = {2015},
journal = {Dagstuhl Reports},
author = {{Samson Abramsky} and {Alexander Kurz 001} and {Pierre Lescanne} and {Viktor Winschel}}
}
@article{journals/jfp/GrygielL15,
title = {Counting and generating terms in the binary lambda calculus.},
year = {2015},
journal = {J. Funct. Program.},
author = {{Katarzyna Grygiel} and {Pierre Lescanne}}
}
@inproceedings{conf/sofsem/BendkowskiGLZ16,
title = {A Natural Counting of Lambda Terms.},
year = {2016},
booktitle = {SOFSEM},
author = {{Maciej Bendkowski} and {Katarzyna Grygiel} and {Pierre Lescanne} and {Marek Zaionc}},
publisher = {Springer},
booktitle = {SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings}
}
@article{journals/corr/BendkowskiGLZ16,
title = {Combinatorics of λ-terms: a natural approach.},
year = {2016},
journal = {CoRR},
author = {{Maciej Bendkowski} and {Katarzyna Grygiel} and {Pierre Lescanne} and {Marek Zaionc}}
}
@inproceedings{conf/ictcs/ZunicL17,
title = {A Congruence Relation for Restructuring Classical Terms.},
year = {2017},
booktitle = {ICTCS/CILC},
author = {{Dragisa Zunic} and {Pierre Lescanne}},
publisher = {CEUR-WS.org},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017.}
}
@article{journals/logcom/BendkowskiGLZ17,
title = {Combinatorics of \$\$\\lambda\$\$-terms: a natural approach.},
year = {2017},
journal = {J. Log. Comput.},
author = {{Maciej Bendkowski} and {Katarzyna Grygiel} and {Pierre Lescanne} and {Marek Zaionc}}
}
@inproceedings{conf/ppdp/BendkowskiL18,
title = {Combinatorics of Explicit Substitutions.},
year = {2018},
booktitle = {PPDP},
author = {{Maciej Bendkowski} and {Pierre Lescanne}},
publisher = {ACM},
booktitle = {Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018}
}
@inproceedings{conf/rta/BendkowskiL18,
title = {Counting Environments and Closures.},
year = {2018},
booktitle = {FSCD},
author = {{Maciej Bendkowski} and {Pierre Lescanne}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK}
}
@article{journals/jfrea/Lescanne18,
title = {Dependent Types for Extensive Games.},
year = {2018},
journal = {J. Formaliz. Reason.},
author = {{Pierre Lescanne}}
}
@article{journals/tocl/Lescanne18,
title = {Quantitative Aspects of Linear and Affine Closed Lambda Terms.},
year = {2018},
journal = {ACM Trans. Comput. Log.},
author = {{Pierre Lescanne}}
}
@article{journals/lmcs/BendkowskiL19,
title = {On the enumeration of closures and environments with an application to random generation.},
year = {2019},
journal = {Log. Methods Comput. Sci.},
author = {{Maciej Bendkowski} and {Pierre Lescanne}}
}
@article{journals/corr/abs-2006-15137,
title = {Extensive Infinite Games and Escalation, an exercise in Agda.},
year = {2020},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/corr/abs-2104-06723,
title = {Zaionc paradox revisited.},
year = {2021},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/corr/abs-2112-11062,
title = {L-types for resource awareness: an implicit name approach.},
year = {2021},
journal = {CoRR},
author = {{Silvia Ghilezan} and {Jelena Ivetic} and {Simona Kasterovic} and {Pierre Lescanne}}
}
@article{journals/corr/abs-2205-11982,
title = {Linear random generation of Motzkin trees.},
year = {2022},
journal = {CoRR},
author = {{Pierre Lescanne}}
}
@article{journals/ita/Lescanne22,
title = {Almost all Classical Theorems are Intuitionistic.},
year = {2022},
journal = {RAIRO Theor. Informatics Appl.},
author = {{Pierre Lescanne}}
}