Some remarks on the lambda algebra
1978 ◽
pp. 476-487
◽