Searching for "A Coinduction Principle for Recursive Data Types Based on Bisimulation" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A Coinduction Principle for Recursive Data Types Based on Bisimulation
- …A Coinduction Principle for Recursive Data Types Based on Bisimulation Marcelo P. Fiore…
- Cited by 40 (4 self) – Add To MetaCart
-
Bibliography
- …):493--522, 1983. [Fio93] Marcelo Fiore. A coinduction principle for recursive data types based on bisimulation…
- Add To MetaCart
-
Association for Computing Machinery-SIGACT Association for Symbolic Logic European Association for Theoretical Computer Science
- … .................................................... .98 S. Brookes A Coinduction Principle for Recursive Data Types Based on Bisimulation…
- Add To MetaCart
Showing 1 through 3.
