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 × USA
Collaborated with:
D.Hirschkoff D.Sangiorgi
Talks about:
preorder (1) calculi (1) fusion (1) type (1) pass (1) name (1)

Person: Jean-Marie Madiot

DBLP DBLP: Madiot:Jean=Marie

Contributed to:

LICS 20132013

Wrote 1 papers:

LICS-2013-HirschkoffMS #calculus
Name-Passing Calculi: From Fusions to Preorders and Types (DH, JMM, DS), pp. 378–387.
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.