Uniform algebraic specifications of finite sorts with equality

Files

bergstra_91_uniform_algebraic.pdf (3.69 MB)

Publication date

1991

Authors

Bergstra, J.A.

Mauw, S.

Wiedijk, F.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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