Author:
Paolini Luca,Zorzi Margherita
Publisher
Springer International Publishing
Reference35 articles.
1. Arrighi, P., Dowek, G.: Linear-algebraic lambda-calculus: higher-order, encodings and confluence. In: Proceedings of the 19th Annual Conference on Term Rewriting and Applications, pp. 17–31 (2008)
2. Lecture Notes in Computer Science;F Aschieri,2013
3. Aspinall, D., Hofmann, M.: Dependent types. In: Pierce, B. (ed.) Advanced Topics in Types and Programming Languages, Chap. 2, pp. 45–86. MIT Press (2005)
4. Dal Lago, U., Masini, A., Zorzi, M.: On a measurement-free quantum lambda calculus with classical control. Math. Struct. Comput. Sci. 19(2), 297–335 (2009)
5. Gaboardi, M., Paolini, L., Piccolo, M.: Linearity and PCF: a semantic insight! In: Proceeding of ICFP 2011, pp. 372–384 (2011)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献