Induction and Recursion on Datatypes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Henk Doornbos, Roland Carl Backhouse. Induction and Recursion on Datatypes. In Bernhard Möller, editor, Mathematics of Program Construction, MPC 95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings. Volume 947 of Lecture Notes in Computer Science, pages 242-256, Springer, 1995.

This author has not been identified. Look up 'Henk Doornbos' in GoogleThis author has not been identified. Look up 'Roland Carl Backhouse' in Google

runs on WebDSL