The Barendregt Cube with Definitions and Generalised Reduction (1997)

Cached

Download Links

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