The hierarchy of functional programs (1987)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:Proceedings 2nd IEEE Symposium on Logic in Computer Science (IEEE Computer