pruning" simply typed -terms (1993)

by S Berardi
Venue:Journal of Logic and Computation