Searching for "The Barendregt Cube with Definitions and Generalised Reduction." – sorted by Relevance.
-
The Barendregt Cube with Definitions and Generalised Reduction
- The Barendregt Cube with Definitions and Generalised Reduction Roel Bloo y Department
- Cited by 26 (14 self) – Add To MetaCart

