Cover is for reference only

Proof, language, and interaction：essays in honour of Robin Milner

Saved in:
Bibliographic Details
Group Author: Plotkin G.; (Gordon), 1946-; Stirling Colin P.; Tofte Mads.; Milner R.; (Robin) 1934-
Published: MIT Press,
Publisher Address: Cambridge, Mass.
Publication Dates: c2000.
Literature type: Book
Language: English
Series: Foundations of computing
Subjects:
Milner > R. > 1934-
Computer science
Carrier Form: xiv, 722 p.: ill. ; 24 cm.
ISBN: 0262161885 (hc : alk. paper)
Index Number: TP3
CLC: TP3
Call Number: TP3/P965
Contents: Includes bibliographical references.

Related Book Recommendations