Authors: BRODA S DAMAS L

Citation: S. Broda et L. Damas, COMPACT BRACKET ABSTRACTION IN COMBINATORY-LOGIC, The Journal of symbolic logic, 62(3), 1997, pp. 729-740