by Guy Mccusker
Paperback
ISBN: 978-1-4471-1165-8
ISBN-10: 1-4471-1165-6
Springer · 2013
|
|
by Guy MccuskerPaperback
ISBN: 978-1-4471-1165-8 ISBN-10: 1-4471-1165-6 Springer · 2013 |
| See also: | ||
| 1998 | Gebundene Ausgabe | Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations) |