Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)
von
Guy McCusker
Gebunden
Details (
Deutschland
)
ISBN: 978-3-540-76255-3
ISBN-10: 3-540-76255-8
Springer
· 1998
Siehe auch:
2013
Paperback
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)