Induction and Recursion on Datatypes (1995)

Cached

Download Links

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