The Barendregt Cube with Definitions and Generalised Reduction

Roel Bloo, Fairouz Kamareddine, Rob Nederpelt. The Barendregt Cube with Definitions and Generalised Reduction. Inf. Comput., 126(2):123-143, 1996.

Possibly Related Publications

The following publications are possibly variants of this publication: