Structural Induction and Coinduction in a Fibrational Setting (1997)

by Claudio Hermida, Bart Jacobs
Venue:Information and Computation