Games for Recursive Types (1994)

Cached

Download Links

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
Citations:16 - 4 self

Document Versions

Games for Recursive Types –Samson Abramsky, Guy Mccusker — 1994 — Theory and Formal Methods of Computing 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods. Imperial