Stéphane Lengrand - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2011

Complexity of Strongly Normalising ::::λ::::-Terms via Non-idempotent Intersection TypesAlexis Bernadet, Stéphane Lengrand. fossacs 2011: 88-107 [doi]

Filter Models: Non-idempotent Intersection Types, Orthogonality and PolymorphismAlexis Bernadet, Stéphane Lengrand. csl 2011: 51-66 [doi]

2008

The lambda-context CalculusMurdoch Gabbay, Stéphane Lengrand. ENTCS, 196:19-35, 2008. [doi]

Strong Normalisation of Cut-Elimination That Simulates beta-ReductionKentaro Kikuchi, Stéphane Lengrand. fossacs 2008: 380-394 [doi]

Classical F::omega::, orthogonality and symmetric candidatesStéphane Lengrand, Alexandre Miquel. APAL, 153(1-3):3-20, 2008. [doi]

2007

Call-by-Value lambda-calculus and LJQRoy Dyckhoff, Stéphane Lengrand. logcom, 17(6):1109-1134, 2007. [doi]

Resource operators for lambda-calculusDelia Kesner, Stéphane Lengrand. iandc, 205(4):419-473, 2007. [doi]

2006

LJQ: A Strongly Focused Calculus for Intuitionistic LogicRoy Dyckhoff, Stéphane Lengrand. cie 2006: 173-185 [doi]

Strong Cut-Elimination Systems for Hudelmaier s Depth-Bounded Sequent Calculus for Implicational LogicRoy Dyckhoff, Delia Kesner, Stéphane Lengrand. cade 2006: 347-361 [doi]

A Sequent Calculus for Type TheoryStéphane Lengrand, Roy Dyckhoff, James McKinna. csl 2006: 441-455 [doi]

2005

Extending the Explicit Substitution ParadigmDelia Kesner, Stéphane Lengrand. RTA 2005: 407-422 [doi]

The Language chi: Circuits, Computations and Classical LogicSteffen van Bakel, Stéphane Lengrand, Pierre Lescanne. ictcs 2005: 81-96 [doi]

2004

Intersection types for explicit substitutionsStéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel. iandc, 189(1):17-42, 2004. [doi]

2003

Call-by-value, call-by-name, and strong normalization for the classical sequent calculusStéphane Lengrand. ENTCS, 86(4):714-730, 2003. [doi]

2002

An Improved System of Intersection Types for Explicit SubstitutionsDaniel J. Dougherty, Stéphane Lengrand, Pierre Lescanne. ifipTCS 2002: 511-523

Sign in or sign up to see more results.

runs on WebDSL