H. Volken

Degrees of sensible lambda theories (1978)

Bergstra, J.A., Barendregt, H.P., Klop, J.W., Volken, H.

Degrees of sensible lambda theories (1978)

Barendregt, H.P., Volken, H., Klop, J.W., Bergstra, J.A.

Representability in lambda algebras (1976)

Bergstra, J.A., Barendregt, H.P., Klop, J.W., Volken, H.

Representability in lambda algebras (1976)

Barendregt, H.P., Volken, H., Klop, J.W., Bergstra, J.A.

Degrees, reductions and representability in the Lambda-Calculus (1976)

Bergstra, J.A., Barendregt, H.P., Klop, J.W., Volken, H.