The Barendregt Cube with Definitions and Generalised Reduction (1997)

Cached

Download Links

by Roel Bloo , Fairouz Kamareddine , Rob Nederpelt
Citations:37 - 17 self

Document Versions

The Barendregt Cube with Definitions and Generalised Reduction –Roel Bloo, Fairouz Kamareddine, Rob Nederpelt — 1997
The Barendregt Cube with Definitions and Generalised Reduction –Roel Bloo, Fairouz Kamareddine, Rob Nederpelt, Bob Constable, Herman Geuvers, Stefan Khars, Tom Melham — 1997