Reasoning about Functional Programs and Complexity Classes Associated with Type Disciplines

Reasoning about Functional Programs and Complexity Classes Associated with Type Disciplines Daniel Leivant 460-469 conf/focs/FOCS24 1983 FOCS db/conf/focs/focs83.html#Leivant83