A Coinduction Principle for Recursive Data Types Based on Bisimulation (1996)
by
Marcelo P. Fiore
| Citations: | 37 - 3 self |
Document Versions
| A Coinduction Principle for Recursive Data Types Based on Bisimulation –Marcelo P. Fiore — 1996 |
