A co-induction principle for recursively defined domains (1994)

by A M Pitts
Venue:Cambridge Univ. Computer Laboratory