Proof principles for datatypes with iterated recursion (1997)

by U Hensel, B Jacobs
Venue:Category Theory and Computer Science