An Axiomatization of the Rational Data Objects

Jan A. Bergstra, Alexander Ollongren, Theo P. van der Weide. An Axiomatization of the Rational Data Objects. In Marek Karpinski, editor, Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland, September 19-23, 1977. Volume 56 of Lecture Notes in Computer Science, pages 33-38, Springer, 1977.

Authors

Jan A. Bergstra

Identified as Jan A. Bergstra

Alexander Ollongren

This author has not been identified. Look up 'Alexander Ollongren' in Google

Theo P. van der Weide

This author has not been identified. Look up 'Theo P. van der Weide' in Google