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

by Andrew Pitts
Venue:Theoretical Computer Science