Structural induction and coinduction in a fibrational setting (1998)

by Claudio Hermida, Bart Jacobs
Venue:Inf. Comput