Induction and coinduction via subset types and quotient types (1995)

by C Hermida, B Jacobs
Venue:Programming Methodology Group, Goteborg University and Chalmers University of Technology