Multi-predicate induction schemes for mutual recursion (2000)

by Richard Boulton
Citations:3 - 0 self