Homomorphism preserving algebraic specifications require hidden sorts

DSpace/Manakin Repository

Bergstra, J.A.; Heering, J.

(1995) Information and Computation, volume 119, issue 1, pp. 119 - 123

(Article)

Download/Full Text

ISSN: 0890-5401 (paper)
1090-2651 (online)

Publisher: Elsevier

See more statistics about this item