Abstract | ||
---|---|---|
We propose an extension of lambda calculus which internally discriminates twolambda terms if and only if they have dierent Berarducci trees.1 IntroductionThe Lambda Calculus is a theory of functions that serves as a foundation forthe functional programming paradigm. Lambda terms in this view are idealizedprograms. There are essentially two ways of characterizing the meaningof lambda terms. The rst one is to run the program and to study the output.The second one is to observe the eect ... |
Year | DOI | Venue |
---|---|---|
2000 | 10.1016/S1571-0661(05)80329-9 | Electr. Notes Theor. Comput. Sci. |
DocType | Volume | Citations |
Journal | 31 | 1 |
PageRank | References | Authors |
0.36 | 12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mariangiola Dezani-Ciancaglini | 1 | 1615 | 193.57 |
Paula Severi | 2 | 122 | 16.19 |
Fer-Jan de Vries | 3 | 244 | 21.67 |