Feasible Computation With Higher Types (2002)

by Helmut Schwichtenberg , Stephen J. Bellantoni
Citations:7 - 0 self