Recursive Types in Games: Axiomatics and Process Representation.

Marcelo P. Fiore, Kohei Honda

Browse the full LICS paper archive.