On the adequacy of finite equational methods for data type specifiation

Files

bergstra_79_on_adequacy.pdf (503.81 KB)

Publication date

1979

Authors

Bergstra, J.A.

Tucker, J.V.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

http://hdl.handle.net/1874/13693