Solvability in lambda-calculi (1975)

by H Barendregt
Venue:The Journal of Symbolic Logic