Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras.

Jan A. Bergstra, Jan Willem Klop

Browse the full ICALP paper archive.