Games for recursive types
S. Abramsky and G. McCusker
Book Title
Proceedings of the 1994 Workshop on Theory and Formal Methods
Editor
C. L. Hankin
Pages
1−20
Publisher
Imperial College Press
Year
1995
S. Abramsky and G. McCusker