A Coinduction Principle for Recursive Data Types Based on Bisimulation (1996)

Cached

Download Links

by Marcelo P. Fiore
Citations:36 - 3 self