Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Roel Bloo, Fairouz Kamareddine, Rob Nederpelt. The Barendregt Cube with Definitions and Generalised Reduction. Inf. Comput., 126(2):123-143, 1996.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Refining the Barendregt Cube Using ParametersFairouz Kamareddine, Twan Laan, Rob Nederpelt. FLOPS 2001: 375-390 [doi] Automath Type Inclusion in Barendregt's CubeFairouz Kamareddine, Joe B. Wells, Daniel Lima Ventura. csr 2015: 262-282 [doi] Canonical Typing and Pi-Conversion in the Barendregt CubeFairouz Kamareddine, Rob Nederpelt. JFP, 6(2):245-267, 1996.
The following publications are possibly variants of this publication: