Initial algebra specifications for parametrized data types
DSpace/Manakin Repository
Initial algebra specifications for parametrized data types
Bergstra, J.A.; Klop, J.W.
(1983) Elektronische Informationsverarbeitung und Kybernetik, volume 19, issue 1/2, pp. 17 - 31
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0013-5712
Publisher: Akademie-Verlag
See
more statistics
about this item