Recursive Types in Games: axiomatics and process representation, LICS'98 (1998)

by M Fiore, K Honda
Venue:In Proceedings o.f LICS'98. IEEE Computer