Reasoning about Functional Programs and Complexity Classes Associated with Type Disciplines

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

Abstract is missing.