Pict: A programming language based on the Pi-calculus

Authors
Pierce, BC Turner, DN
Citation
Bc. Pierce et Dn. Turner, Pict: A programming language based on the Pi-calculus, FOUNDAT COM, 2000, pp. 455-494
Categorie Soggetti
Current Book Contents
Journal title
PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER → ACNP
Year of publication
2000
Pages
455 - 494
Database
ISI
SICI code