Roel Bloo
Roel Bloo, Fairouz Kamareddine, and Rob Nederpelt.
The Barendregt cube with definitions and generalised reduction.
Information and Computation
, 126(2):123-143, 1 May 1996.
Abstract, References, and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database