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