G. P. · Gordon Plotkin · Gregory Plotkin
Cambridge University Press · Springer
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Logical Frameworks | Printed Access Code | 978-0-511-56980-7 (0-511-56980-7) | 2010 | Gerard Huet | |
| Logical Frameworks | Hardcover | 978-0-521-41300-8 (0-521-41300-1) | 1991 | " | |
| Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings | Taschenbuch | 978-3-540-13346-9 (3-540-13346-1) | 2008 | G. Kahn · D. B. MacQueen |