Proof, language, and interaction : essays in honour of Robin Milner :: ISBN 0262161885 :: MIT Press 2000 :: OBNB, the Open British National Bibliography

Publication Data

Title Proof, language, and interaction : essays in honour of Robin Milner
Contributors G. Plotkin, Colin P. Stirling, Mads Tofte, Robin Milner
Publisher MIT Press
Publication date 2000
Publication location Cambridge, Mass.
Language English

Topics

Milner, Robin
Computer science

Catalogue Data

OBNB ID GBA048614
ISBN 10 0262161885
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004

ISBD

P1053 xiv, 720 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Proof, language, and interaction : essays in honour of Robin Milner. ISBN 0262161885. Published by MIT Press in 2000. Publication and catalogue information, links to buy online and reader comments.