The Barendregt Cube with Definitions and Generalised Reduction (1997)

Cached

Download Links

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

Active Bibliography

The Lambda-Cube With Classes Which Approximate Reductional Equivalence – Roel Bloo, Fairouz Kamareddine, Rob Nederpelt - 1995
Term Reshuffling in the Barendregt Cube – Roel Bloo Fairouz, Fairouz Kamareddine, Rob Nederpelt
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
14 Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions – Fairouz Kamareddine , Alejandro Ríos, J. B. Wells - 1998
Calculi of Generalised beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions – Fairouz Kamareddine, Alejandro Ríos, J. B. Wells, Ro R'ios J. B. Wells - 1997
Beyond beta-Reduction in Church's ... – Roel Bloo, Fairouz Kamareddine, Rob Nederpelt - 1996
Characterizing Lambda-Terms With Equal Reduction Behavior – Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
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
3 Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems – Fairouz Kamareddine - 2001
3 Canonical typing and Π-conversion – Fairouz Kamareddine, Rob Nederpelt - 1997
2 The Soundness of Explicit Substitution with Nameless Variables – Fairouz Kamareddine - 1995
Explicit Substitutions: The Type-Free and Simply Typed Versions – Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Köhler, A. Krall, H. Kuchen, J. Launchbury, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O’donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, M. Rodríguez-artalejo, F. Silbermann, P. Van, Hentenryck D. S. Warren, A. Mück, Fairouz Kamareddine, Alejandro Ríos, J. B. Wells - 1998
14 A unified approach to Type Theory through a refined λ-calculus – Fairouz Kamareddine, Rob Nederpelt - 1994
4 On \Pi-conversion in the lambda-cube and the combination with abbreviations – Fairouz Kamareddine, Roel Bloo, Rob Nederpelt - 1997
7 Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems – Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
Refining Reduction in the lambda calculus – Fairouz Kamareddine, Rob Nederpelt - 1996