Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) (1998)

by Marcelo Fiore, Kohei Honda
Venue:IN PROCEEDINGS O.F LICS'98. IEEE COMPUTER