Feasible computation in higher types (1991)

by B Kapron