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