Proof principles for datatypes with iterated recursion

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026991 ◽

1997 ◽

pp. 220-241 ◽

Author(s):

Ulrich Hensel ◽

Bart Jacobs

Download Full-text