Homomorphism preserving algebraic specifications require hidden sorts

Files

bergstra_95_homomorphism_preserving.pdf (390.22 KB)

Publication date

1995

Authors

Bergstra, J.A.

Heering, J.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/12825