Proof, language, and interaction : essays in honour of Robin Milner /
Plotkin, G.(Gordon),1946-
Stirling, Colin P.
Tofte, Mads.
Milner, R.(Robin),1934-
Cambridge, Mass. ; London : MIT Press,
c2000.
Includes bibliographical references.
Milner, R. (Robin), 1934-
Computer science.