Pitts “A Co-induction Principle for Recursively Defined Domains (1994)

by A M
Venue:Theoretical Computer Science