The Barendregt cube with definitions and generalised reduction (1996)

by R Bloo, F Kamareddine, R Nederpelt
Venue:Information and Computation