The Barendregt Cube with Definitions and Generalised Reduction (1997)

Cached

Download Links

by Roel Bloo , Fairouz Kamareddine , Rob Nederpelt
Citations:39 - 18 self

Active Bibliography

The Lambda-Cube With Classes Which Approximate Reductional Equivalence – Roel Bloo, Fairouz Kamareddine, Rob Nederpelt - 1995
Postponement, Conservation and Preservation of Strong Normalisation for Generalised Reduction – Fairouz Kamareddine
Redexes in Item Notation Classical Notation Item Notation – Fairouz Kamareddine, Λx. (λy. Λz. Zd)c)b)a →β - 2009
Generalized Beta-Reduction and Explicit Substitutions – Fairouz Kamareddine, Alejandro Ríos - 1996
Term Reshuffling in the Barendregt Cube – Roel Bloo Fairouz, Fairouz Kamareddine, Rob Nederpelt
14 Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions – Fairouz Kamareddine , Alejandro Ríos, J. B. Wells - 1998
De Bruijn's syntax and reductional behaviour of λ-terms – Fairouz Kamareddine, Roel Bloo
De Bruijn's syntax and reductional equivalence of λ-terms – Fairouz Kamareddine, Roel Bloo, Rob Nederpelt - 2001
Characterizing Lambda-Terms With Equal Reduction Behavior – Fairouz Kamareddine, Roel Bloo, Rob Nederpelt