BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Japan
1 × Norway
1 × USA
2 × Hungary
Collaborated with:
A.Bernadet D.Kesner R.Dyckhoff K.Kikuchi J.McKinna
Talks about:
strong (3) type (3) intersect (2) normalis (2) calculus (2) sequent (2) idempot (2) elimin (2) non (2) cut (2)

Person: Stéphane Lengrand

DBLP DBLP: Lengrand:St=eacute=phane

Contributed to:

CSL 20112011
FOSSACS 20112011
FoSSaCS 20082008
CSL 20062006
IJCAR 20062006
RTA 20052005

Wrote 6 papers:

CSL-2011-BernadetL #modelling #morphism #orthogonal #polymorphism
Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism (AB, SL), pp. 51–66.
FoSSaCS-2011-BernadetL #complexity #normalisation
Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types (AB, SL), pp. 88–107.
FoSSaCS-2008-KikuchiL #normalisation
Strong Normalisation of Cut-Elimination That Simulates β-Reduction (KK, SL), pp. 380–394.
CSL-2006-LengrandDM #calculus #type system
A Sequent Calculus for Type Theory (SL, RD, JM), pp. 441–455.
IJCAR-2006-DyckhoffKL #bound #calculus #logic
Strong Cut-Elimination Systems for Hudelmaier’s Depth-Bounded Sequent Calculus for Implicational Logic (RD, DK, SL), pp. 347–361.
RTA-2005-KesnerL #paradigm
Extending the Explicit Substitution Paradigm (DK, SL), pp. 407–422.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.