An algebraic view of structural induction (1995)

by C Hermida, B Jacobs
Venue:In Proc. CSL ’94, volume 933 of LNCS