λ on INs and LMNtal
Koji Hara
[email protected]
2005/07/14(Thu)
論文

Call-by-Name and Call-by-Value as
Token-Passing Interaction Nets

/readings/InteractionNets/Sinot-TCLA2005.pdf
INs が LMntal と違う点

ルール左辺に書けるのは
最終引数同士が繋がっているアトム２個

利点：処理系が速い？
INs で (λx.xx) (λx.xx)
INs プロセスのコピー
LMNtal で (λx.xx) (λx.xx)
lmntal_lib/lambda.lmn
結論

λ計算 on INs は


lambda.lmn と同じ
高速化のため、明示的に逐次実行している

Document

フェイスリスク