Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)

Distinguished

von Guy McCusker

Gebunden

ISBN: 978-3-540-76255-3

ISBN-10: 3-540-76255-8

Springer · 1998

Siehe auch:
2013PaperbackGames and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)