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 × Norway
Collaborated with:
S.Lengrand
Talks about:
intersect (2) idempot (2) type (2) non (2) polymorph (1) orthogon (1) normalis (1) complex (1) strong (1) filter (1)

Person: Alexis Bernadet

DBLP DBLP: Bernadet:Alexis

Contributed to:

CSL 20112011
FOSSACS 20112011

Wrote 2 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.
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.