A natural data type with a finite equational final semantics specifcation, but no effective equational initial specification

DSpace/Manakin Repository

A natural data type with a finite equational final semantics specifcation, but no effective equational initial specification
 
Bergstra, J.A.; Tucker, J.V.
(1979) Bulletin of the European Association for Theoretical Computer Science, volume 11, pp. 23 - 33
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0252-9742
Publisher: Karlsruhe : EATCS
 
 
See more statistics about this item