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

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