Proof, language, and interaction
Subtitle: essays in honour of Robin Milner
By: edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte
Contributors: Milner, R. (Robin), 1934-
Series: Foundations of computing
Publisher: MIT Press
Published: 2000
Place of publication: Cambridge, Mass
Language: eng
Format: [electronic resource] :
Number of pages: 722
Subjects: Computer science
Other titles: EBSCO eBook collection.
Notes: Includes bibliographical references.

Electronic access restricted to subscribers.