Coinduction for recursive data types: partial orders, metric spaces and Omega-categories (2000)

Cached

Download Links

by James Worrell
Citations:7 - 0 self