An Algebraic View of Structural Induction (1994)

by Claudio Hermida, Bart Jacobs
Venue:Computer Science Logic 1994, number 933 in Lect. Notes Comp. Sci