Structural induction and coinduction in a brational setting (1998)

by C Hermida, B Jacobs