Algebraically specified programming systems and Hoare's logic

Files

bergstra_81_algebraically.pdf (2.69 MB)

Publication date

1981

Authors

Bergstra, J.A.

Tucker, J.V.

Document Type

Article in proceedings

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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