Games for Recursive Types (1994)

by Samson Abramsky, Guy Mccusker
Venue:Theory and Formal Methods of Computing 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods. Imperial