Reasoning about functional programs and complexity classes associated with type disciplines (1983)

by D Leivant
Venue:24th Annual Symp. on Found. of Comp. Sc