Induction and Recursion on Datatypes.

Henk Doornbos, Roland Carl Backhouse

Browse the full MPC paper archive.