A Coinduction Principle for Recursive Data Types Based on Bisimulation

Marcelo P. Fiore

Browse the full LICS paper archive.