Structural induction and coinduction in a setting (1998)

by C Hermida, B Jacobs
Venue:Information & Computation