A Co-induction Principle for Recursively Defined Domains (0)

Cached

Download Links

by Andrew Pitts
Venue:Theoretical Computer Science
Citations:40 - 3 self