Induction and Recursion on Datatypes (1995)

Cached

Download Links

by Roland Backhouse , Henk Doornbos
Citations:17 - 7 self