[Prev][Next][Index][Thread]

Introduction to Bellin-Scott paper





At the suggestion of the authors, I have written a short introductory
note to ``On the pi-calculus and Linear Logic'' by Gianluigi Bellin and
Phil Scott. This is now available by anonymous-ftp from
theory.doc.ic.ac.uk, in papers/Abramsky/picalcintro.dvi.

Samson Abramsky