Proof, language, and interaction
Subtitle: essays in honour of Robin Milner
By: edited by Gordon David Plotkin, Colin P. Stirling, and Mads Tofte.
Contributors: Plotkin, G. 1946-; Stirling, Colin P.; Tofte, Mads.; Milner, R. 1934-
Series: Foundations of computing
Publisher: MIT Press
Published: 2000
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 722
Subjects: Milner, R. -- 1934-; Milner, Robin.; Computer science.
Notes: Includes bibliographical references.