Pi calculus

Alaric B. Williams alaric@abwillms.demon.co.uk
Mon, 19 May 1997 20:25:01 +0000


Hi there guys - in looking for Pi Calculus links, I've found
a good page at:

http://pauillac.inria.fr/mobility/

Including a link to a Postscript file called "Foundational Calculi
for Programming Languages", which sounds interesting!


Enjoy,


ABW
--
Alaric B. Williams (alaric@abwillms.demon.co.uk)

   ---<## OpenDOS FAQ ##>---

Plain HTML: http://www.delorie.com/opendos/faq/
            http://www.deltasoft.com/faq.html

Fancy HTML: http://www.deltasoft.com/faq0000.html