Period
1976 - 1978
Number
5
Co-Authors
Degrees of sensible lambda theories (1978)
Bergstra, J.A., Barendregt, H.P., Klop, J.W., Volken, H.
Barendregt, H.P., Volken, H., Klop, J.W., Bergstra, J.A.
Representability in lambda algebras (1976)
Degrees, reductions and representability in the Lambda-Calculus (1976)