An Algebraic Approach to Data Types, Program Verification, and Program Synthesis.

Friedrich W. von Henke

Browse the full MFCS paper archive.