A characterization of computable data types by means of a finite, equational specification mehod

DSpace/Manakin Repository

A characterization of computable data types by means of a finite, equational specification mehod
 
Bergstra, J.A.; Tucker, J.V.
(1980) Lecture Notes in Computer Science, volume 85, pp. 76 - 90
(Article in proceedings)
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0302-9743
Publisher: Springer Verlag
 
 
See more statistics about this item