Stefano Berardi. Pruning Simply Typed Lambda-Terms. Journal of Logic and Computation, 6(5):663-681, 1996.
@article{Berardi96,
title = {Pruning Simply Typed Lambda-Terms},
author = {Stefano Berardi},
year = {1996},
researchr = {https://researchr.org/publication/Berardi96},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {6},
number = {5},
pages = {663-681},
}