B.: An algebraic view of structural induction (1995)

by C Hermida, Jacobs
Venue:CSL ’94. LNCS