The Hierarchy of Finitely Typed Functional Programs (Short Version)

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn. The Hierarchy of Finitely Typed Functional Programs (Short Version). In Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA. pages 225-235, IEEE Computer Society, 1987.

Abstract

Abstract is missing.