with introduction by S. Abramsky), On the -calculus and linear logic, Submitted for publication (1992)

by G Bellin, P J Scott