The Barendregt Cube with Definitions and Generalised Reduction (1997)

by Roel Bloo, Fairouz Kamareddine, Rob Nederpelt