A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method.

Jan A. Bergstra, John V. Tucker

Browse the full ICALP paper archive.