Guy McCusker

• Games and Full Abstraction for a Functional Metalanguage with Recursive Types