Multi-predicate induction schemes for mutual recursion (2000)

Cached

Download Links

by Richard Boulton
Citations:2 - 0 self