Proof Principles for Datatypes with Iterated Recursion (1997)

Cached

Download Links

by Ulrich Hensel , Bart Jacobs
Citations:17 - 3 self