DMCA

Proof Principles for Datatypes with Iterated Recursion (1997)

Cached

Download Links

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