.:. Browse > By authors > Laneve .:.

4 documents ordered by : Date Title first author name document type Submit date

Lambda-Calculus, Multiplicities and the pi-Calculus Boudol G., Laneve C. N° RR-2581 (1995) [inria-00074103 - version 1]

Two Semantics for a Language of Reactive Objects Boussinot F., Laneve C. N° RR-2511 (1995) [inria-00074167 - version 1]

Interaction systems II : the practice of optimal reductions Asperti A., Laneve C. N° RR-2001 (1993) [inria-00074671 - version 1]

Interaction systems I : the theory of optimal reductions Asperti A., Laneve C. N° RR-1748 (1992) [inria-00076988 - version 1]