Name
Title | ||
|---|---|---|
Why the Usual Candidates of Reducibility Do Not Work for the Symmetric lamba-my-calculus |
Abstract | ||
|---|---|---|
The symmetric λμ-calculus is the λμ-calculus introduced by Parigot in which the reduction rule μ′, which is the symmetric of μ, is added. We give examples explaining why the technique using the usual candidates of reducibility does not work. We also prove a standardization theorem for this calculus. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1016/j.entcs.2005.06.020 | Electronic Notes in Theoretical Computer Science |
Keywords | DocType | Volume |
λμ-calculus,reducibility | Journal | 140 |
ISSN | Citations | PageRank |
1571-0661 | 2 | 0.37 |
References | Authors | |
14 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| René David | 1 | 15 | 1.75 |
| Karim Nour | 2 | 65 | 15.07 |