Abstract | ||
---|---|---|
It has long been argued that the notion of substitution in the λ-calculus needs to be made explicit. This resulted in many calculi have been developed in which the computational steps of the substitution operation involved in β-contractions have been atomised. In contrast to the great variety of developments for making explicit formalisations of the Beta rule, less work has been done for giving ex... |
Year | DOI | Venue |
---|---|---|
2009 | 10.1093/jigpal/jzp027 | Logic Journal of the IGPL |
Keywords | Field | DocType |
Lambda Calculus,Eta reduction,Explicit Substitutions,Subject Reduction | Lambda calculus,Algebra,Constructive,Subject reduction,Decidability,Mathematics | Journal |
Volume | Issue | ISSN |
17 | 6 | 1367-0751 |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel Lima Ventura | 1 | 22 | 4.88 |
Mauricio Ayala-Rincón | 2 | 156 | 31.94 |
Fairouz Kamareddine | 3 | 328 | 47.92 |