Sciweavers

Share
TLCA   2005 International Conference on Typed Lambda Calculi and Applications
Wall of Fame | Most Viewed TLCA-2005 Paper
TLCA
2005
Springer
8 years 10 months ago
Call-by-Name and Call-by-Value as Token-Passing Interaction Nets
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...
François-Régis Sinot
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.
IdReadViewsTitleStatus
1Download preprint from source148
2Download preprint from source135
3Download preprint from source128
4Download preprint from source127
5Download preprint from source120
6Download preprint from source118
7Download preprint from source115
8Download preprint from source114
9Download preprint from source109
10Download preprint from source109
11Download preprint from source107
12Download preprint from source98
13Download preprint from source96
14Download preprint from source93
15Download preprint from source92
16Download preprint from source91
17Download preprint from source88
books