Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

by: Gordon Plotkin · Colin P. Stirling · Mads Tofte

Printed Access Code

ISBN: 978-0-262-28167-6

ISBN-10: 0-262-28167-8

The MIT Press · 2000

See also:
2000HardcoverProof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)