Paper: Recursive Types in Games: Axiomatics and Process Representation (at LICS 1998)
Authors: Marcelo P. Fiore Kohei HondaAbstract
No Abstract Available
BibTeX
@InProceedings{FioreHonda-RecursiveTypesinGam, author = {Marcelo P. Fiore and Kohei Honda}, title = {Recursive Types in Games: Axiomatics and Process Representation}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {345-356}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }