On the adequacy of finite equational methods for data type specifiation

DSpace/Manakin Repository

On the adequacy of finite equational methods for data type specifiation
 
Bergstra, J.A.; Tucker, J.V.
(1979) SIGPLAN notices : a monthly publication of the Special Interest Group on Programming Languages ; ACM Sigplan Notices, volume 14, issue 11, pp. 13 - 18
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0362-1340
Publisher: New York : Association for Computing Machinery, Special Interest Group on Programming Languages
 
 
See more statistics about this item