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.

Abstract

Abstract is missing.