`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: Lafont:Yves

### Contributed to:

### 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.