Recursive assertions are not enough - or are they?

Files

bergstra_79_recursive_assertions.pdf (1.39 MB)

Publication date

1979

Authors

Bergstra, J.A.

Apt, K.R.

Meertens, L.G.L.T.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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