Proof principles for datatypes with iterated recursion (1997)

by Ulrich Hensel, Bart Jacobs
Venue:Computing Science Institute, Faculty of Mathematics and Infornmtics, Catholic University c,f Nijmegen