Concepedia

Stéphane Lengrand

SL

Statistics

Publications

7

Citations

189

H-Index

7

Active since

2003

Affiliations

University of St Andrews(Current)

Université Paris Cité

Centre National de la Recherche Scientifique

École Normale Supérieure de Lyon

Stéphane Lengrand is an author at University of St Andrews specializing in computer science, computing, and programming languages.

Publications per year

2003–2009

7

Publications

7

Resource operators for λ-calculus

Delia Kesner, Stéphane Lengrand · Information and Computation · 2007 · 44 citations

, , +4

Call-by-value, call-by-name, and strong normalization for the classical sequent calculus

Stéphane Lengrand · Electronic Notes in Theoretical Computer Science · 2003 · 39 citations · Full text

, , +12

Intersection types for explicit substitutions

Stéphane Lengrand, Pierre Lescanne, Dan Dougherty et al. · Information and Computation · 2003 · 36 citations

, , +9

Call-by-Value  -calculus and LJQ

Roy Dyckhoff, Stéphane Lengrand · Journal of Logic and Computation · 2007 · 23 citations

, , +6

Extending the Explicit Substitution Paradigm

Delia Kesner, Stéphane Lengrand · Lecture notes in computer science · 2005 · 20 citations

, , +12

1–5 of 7