Initial and final algebra semantics for data type specifications, two characterization theorems

DSpace/Manakin Repository

Bergstra, J.A.; Tucker, J.V.

(1983) Siam journal on computing, volume 12, issue 2, pp. 366 - 387

(Article)

Download/Full Text

ISSN: 1095-7111 (online)
0097-5397 (paper)

Publisher: Philadelphia : SIAM publications

See more statistics about this item