An axiomatization of the rational data objects

Files

bergstra_77_an_axiomatization.pdf (1.04 MB)

Publication date

1977

Authors

Bergstra, J.A.

Ollengren, A.

Weide, Th.P. van der

Document Type

Article in proceedings

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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