1. S. Abramsky. Computational interpretations of linear logic. Technical report DOC Imperial College London U.K. 1990. S. Abramsky. Computational interpretations of linear logic. Technical report DOC Imperial College London U.K. 1990.
2. J.M. Andreoli. Proposition pour une synth~se des paradigmes de la programmation logique et de la programmation par objets 1990. Th~se d'Informatique de l'Universit~ de Paris VI (Paris France). J.M. Andreoli. Proposition pour une synth~se des paradigmes de la programmation logique et de la programmation par objets 1990. Th~se d'Informatique de l'Universit~ de Paris VI (Paris France).
3. LO and behold! Concurrent structured processes