Daniel Leivant. Reasoning about Functional Programs and Complexity Classes Associated with Type Disciplines. In 24th Annual Symposium on Foundations of Computer Science, 7-9 November 1983, Tucson, Arizona, USA. pages 460-469, IEEE, 1983.
Abstract is missing.