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

Cached

Download Links

by Marcelo P. Fiore
Citations:37 - 3 self

Document Versions

A Coinduction Principle for Recursive Data Types Based on Bisimulation –Marcelo P. Fiore — 1996