Computing Publications

Publications Home » Strong normalisation in the pi -c...

Strong normalisation in the pi -calculus.

Nobuko Yoshida, Martin Berger, Kohei Honda

Journal Article
Information and Computation
Volume 191
Issue 2
pp.145–202
September, 2004
Elsevier
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.