BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Spain
1 × The Netherlands
1 × USA
Collaborated with:
P.Rannou T.Streicher J.Girard
Talks about:
rewrit (2) linear (2) logic (2) dimension (1) orthogon (1) interact (1) diagram (1) semant (1) matric (1) critic (1)

Person: Yves Lafont

DBLP DBLP: Lafont:Yves

Contributed to:

RTA 20082008
RTA 19971997
LICS 19911991
POPL 19901990
TAPSOFT, Vol.2: CFLP 19871987

Wrote 5 papers:

RTA-2008-LafontR #case study #diagrams #matrix #orthogonal
Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks (YL, PR), pp. 232–245.
RTA-1997-Lafont #2d
Two-Dimensional Rewriting (YL), pp. 228–229.
LICS-1991-LafontS #game studies #linear #logic #semantics
Games Semantics for Linear Logic (YL, TS), pp. 43–50.
POPL-1990-Lafont #interactive
Interaction Nets (YL), pp. 95–108.
CFLP-1987-GirardL #lazy evaluation #linear #logic
Linear Logic and Lazy Computation (JYG, YL), pp. 52–66.

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.