G. Erard Boudol

Asynchrony and the -calculus (note)

G. Erard Boudol, 1992 .

Atomic Actions (note)

G. Erard Boudol, 1989 .

The -calculus in Direct Style (*)

G. Erard Boudol, 1997 .

The Lambda-calculus with Multiplicities (preliminary Report)

G. Erard Boudol, 1993 .

Typing the Use of Resources in a Concurrent Calculus (extended Abstract)

G. Erard Boudol, G Erard Boudol, 1997 .