Author:
Paykin Jennifer,Zdancewic Steve
Publisher
Springer International Publishing
Reference35 articles.
1. Beffara, E.: A concurrent model for linear logic. Electron. Notes Theor. Comput. Sci. 155, 147–168 (2006)
2. Bellin, G., Scott, P.: On the
$$\pi $$
-calculus and linear logic. Theor. Comput. Sci. 135(1), 11–65 (1994)
3. Bernardy, J.P., Rosn, D., Smallbone, N.: Compiling linear logic using continuations (2014)
4. Lecture Notes in Computer Science;L Caires,2010
5. Curien, P.L., Herbelin, H.: The duality of computation. ACM SIGPLAN Not. 35(9), 233–243 (2000)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献