1998 - Games and Full Abstraction for a Functional Metalanguage with Recursive Types [Distinguished Dissertations] (Hardcover) ISBN-13: 9783540762553 ISBN-10: 3540762558 Genres: Computers & Technology, Reference, Science & Math ? |
1998 - Games and Full Abstraction for a Functional Metalanguage with Recursive Types [Distinguished Dissertations] (Hardcover) ISBN-13: 9783540762553 ISBN-10: 3540762558 Genres: Computers & Technology, Reference, Science & Math ? |