Author: MCGUSKER, GUY
Title: Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Description: Berlin, Heidelberg, New York, Springer-Verlag. 1998. (ISBN: 9783540762553). Hardcover. Used, No dust jacket. Hardcover. Distinguished Dissertations series. Front board is very slightly warped. Binding is sound and pages are tight and clean throughout. Contents are clear. AF. Good/No Dust Jacket.

Keywords: 9783540762553


See more books from our catalog: Computers & Technology (Incl. Ai)