Feasible computation with higher types (2001)

by H Schwichtenberg, S Bellantoni
Venue:In Proof and System-Reliability