Proof, Language and Interaction, Essays in Honour of Robin Milner eds Gordon Plotkin, Colin Sterling, Mads Tofte, Foundations of Computing Series, MIT Press 2000
Published online by Cambridge University Press:
14 January 2004
An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Discussions
No Discussions have been published for this article.