Klop Henk Barendregt, Jan Bergstra and Henri Volken. Degrees, reductions and representability in the lambda calculus (1976)

by Jan Willem