CURRENTLY SOLD OUT

Games and Full Abstraction for a Functional Metalanguage with Recursive Types by Guy McCusker (Paperback, 2012)