Process semantics of algebraic data types

DSpace/Manakin Repository

Bergstra, J.A.; Weide, Th.P. van der

(1981) Mathematical Logic in Computer Science, volume 26, pp. 167 - 180

(Article in proceedings)

Download/Full Text

Publisher: North-Holland

See more statistics about this item