by: Gordon Plotkin · Colin P. Stirling · Mads Tofte
Hardcover
ISBN: 978-0-262-16188-6
ISBN-10: 0-262-16188-5
The MIT Press · 2000
|
|
by: Gordon Plotkin · Colin P. Stirling · Mads TofteHardcover
ISBN: 978-0-262-16188-6 ISBN-10: 0-262-16188-5 The MIT Press · 2000 |
| See also: | ||
| 2000 | Printed Access Code | Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) |