Author:
de Paiva Valeria,Eades Harley
Publisher
Springer International Publishing
Reference24 articles.
1. Abramsky, S.: Proofs as processes. Theor. Comput. Sci. 135(1), 5–9 (1994)
2. Lecture Notes in Computer Science;N Benton,1993
3. Benton, P.N.: Strong normalisation for the linear term calculus. J. Funct. Program. 5(1), 65–80 (1995)
4. Bierman, G.M.: On Intuitionistic Linear Logic. PhD thesis, Wolfson College, Cambridge, December 1993
5. Bierman, G.M., de Paiva, V.C.V.: On an intuitionistic modal logic. Stud. Logica 65(3), 383–416 (2000)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献