Marcelo P. Fiore
Marcelo P. Fiore.
A coinduction principle for recursive data types based on bisimulation.
Information and Computation
, 127(2):186-198, 15 June 1996.
Abstract, References, Citations, etc.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database