Pierre Lescanne

From MaRDI portal
Person:579929

Available identifiers

zbMath Open lescanne.pierreWikidataQ3385948 ScholiaQ3385948MaRDI QIDQ579929

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61735742023-07-21Paper
Almost all Classical Theorems are Intuitionistic2023-01-23Paper
Explicit substitutions with de bruijn's levels2022-12-09Paper
L-types for resource awareness: an implicit name approach2021-12-21Paper
https://portal.mardi4nfdi.de/entity/Q49933372021-06-15Paper
Almost all classical theorems are intuitionistic2021-04-14Paper
Extensive Infinite Games and Escalation, an exercise in Agda2020-06-19Paper
On the enumeration of closures and environments with an application to random generation2019-11-26Paper
Dependent Types for Extensive Games2019-09-18Paper
Combinatorics of $\lambda$-terms: a natural approach2018-11-20Paper
Quantitative Aspects of Linear and Affine Closed Lambda Terms2018-08-20Paper
Combinatorics of explicit substitutions2018-04-11Paper
Counting and generating terms in the binary lambda calculus2017-10-23Paper
A Natural Counting of Lambda Terms2016-03-10Paper
https://portal.mardi4nfdi.de/entity/Q27895502016-03-01Paper
Resource control and intersection types: an intrinsic connection2014-12-06Paper
On semantics of a term calculus for classical logic2014-11-14Paper
Counting and generating lambda terms2014-02-27Paper
https://portal.mardi4nfdi.de/entity/Q28510912013-10-02Paper
https://portal.mardi4nfdi.de/entity/Q28481192013-09-25Paper
A Simple Case of Rationality of Escalation2013-09-13Paper
A journey through resource control lambda calculi and explicit substitution using intersection types (an account)2013-06-10Paper
Common Knowledge Logic in a Higher Order Proof Assistant2013-04-19Paper
On counting untyped lambda terms2013-03-27Paper
``Backward coinduction, Nash equilibrium and the rationality of escalation2012-10-15Paper
Computational interpretation of classical logic with explicit structural rules2012-03-21Paper
Intersection Types for the Resource Control Lambda Calculi2012-01-06Paper
Resource control and strong normalisation2011-12-15Paper
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules2011-07-29Paper
Computation with classical sequents2008-08-15Paper
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage2008-06-24Paper
Strong Normalization of the Dual Classical Sequent Calculus2008-05-27Paper
Mechanizing common knowledge logic using COQ2007-08-23Paper
Theoretical Computer Science2006-11-01Paper
Addressed term rewriting systems: application to a typed object calculus2006-08-28Paper
Types for Proofs and Programs2005-12-23Paper
Intersection types for explicit substitutions2004-11-23Paper
https://portal.mardi4nfdi.de/entity/Q44302882003-10-20Paper
Reductions, intersection types, and explicit substitutions2003-06-23Paper
https://portal.mardi4nfdi.de/entity/Q27788192002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q45063962000-09-18Paper
https://portal.mardi4nfdi.de/entity/Q42647351999-10-10Paper
λν, a calculus of explicit substitutions which preserves strong normalisation1997-04-29Paper
Valentin Antimirov (1961--1995)1997-02-27Paper
Termination of rewrite systems by elementary interpretations1995-05-11Paper
On termination of one rule rewrite systems1994-09-25Paper
Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings1993-06-05Paper
https://portal.mardi4nfdi.de/entity/Q40352231993-05-18Paper
Well rewrite orderings and well quasi-orderings1993-05-16Paper
The term rewriting approach to automated theorem proving1992-11-10Paper
Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness1990-01-01Paper
Termination by completion1990-01-01Paper
On the recursive decomposition ordering with lexicographical status and other related orderings1990-01-01Paper
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems1990-01-01Paper
Equational problems and disunification1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34963701989-01-01Paper
Termination of rewriting systems by polynomial interpretations and its implementation1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37573901987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835221986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835231986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36964861985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33366811984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33367381984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36591241983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36644141983-01-01Paper
Behavioural Categoricity of Abstract Data Type Specifications1983-01-01Paper
On multiset orderings1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36591211982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36679391982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39531401982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39160041980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41959161979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39477121978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41568241977-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Pierre Lescanne