TLCA 2005 International Conference on Typed Lambda Calculi and Applications
 |  |
Wall of Fame | Most Viewed TLCA-2005 Paper
TLCA
2005
Springer
14 years 4 months ago
2005
Springer
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website.
Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
| Id | Read | Views | Title | Status |
|---|---|---|---|---|
| 1 |  | 148 | ||
| 2 | | 135 | ||
| 3 | | 128 | ||
| 4 | | 127 | ||
| 5 | | 120 | ||
| 6 | | 118 | ||
| 7 | | 115 | ||
| 8 | | 114 | ||
| 9 | | 109 | ||
| 10 | | 109 | ||
| 11 | | 107 | ||
| 12 | | 98 | ||
| 13 | | 96 | ||
| 14 | | 93 | ||
| 15 | | 92 | ||
| 16 | | 91 | ||
| 17 | | 88 |