Books by Guy McCusker

1 title available, newest first by original publication date.

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Guy McCusker

$67.99