C.P. · C.S. · Colin Stirling · P S
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Proof, Language, and Interaction: Essays in Honour of Robin Milner | Hardcover | 978-0-262-16188-6 (0-262-16188-5) | 2000 | Gordon Plotkin · Mads Tofte |
| Proof, Language, and Interaction: Essays in Honour of Robin Milner | Printed Access Code | 978-0-262-28167-6 (0-262-28167-8) | 2000 | Gordon Plotkin · Mads Tofte |