Marcelo P. Fiore, Kohei Honda. Recursive Types in Games: Axiomatics and Process Representation. In LICS. pages 345-356, 1998.
@inproceedings{FioreH98,
title = {Recursive Types in Games: Axiomatics and Process Representation},
author = {Marcelo P. Fiore and Kohei Honda},
year = {1998},
researchr = {https://researchr.org/publication/FioreH98},
cites = {0},
citedby = {0},
pages = {345-356},
booktitle = {LICS},
}