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