![](/img/cover-not-exists.png)
A Coinduction Principle for Recursive Data Types Based on Bisimulation
Marcelo P. FioreVolume:
127
Year:
1996
Language:
english
Pages:
13
DOI:
10.1006/inco.1996.0058
File:
PDF, 761 KB
english, 1996