Initial algebra specifications for parametrized data types

DSpace/Manakin Repository

Bergstra, J.A.; Klop, J.W.

(1983) Elektronische Informationsverarbeitung und Kybernetik, volume 19, issue 1/2, pp. 17 - 31

(Article)

Download/Full Text

ISSN: 0013-5712

Publisher: Akademie-Verlag

See more statistics about this item