An Axiomatization of the Rational Data Objects.

Jan A. Bergstra, Alexander Ollongren, Theo P. van der Weide

Browse the full FCT paper archive.