Author:
Eades Harley,de Paiva Valeria
Publisher
Springer International Publishing
Reference24 articles.
1. Bellin, G.: Subnets of proof-nets in multiplicative linear logic with MIX. J. Math. Struct. in CS. 7, 663–669 (1997)
2. Benton, P.N.: A mixed linear and non-linear logic: Proofs, terms and models (preliminary report). Technical Report, UCAM-CL-TR-352, University of Cambridge Computer Laboratory (1994)
3. Bierman, G.M.: On Intuitionistic Linear Logic. Ph.D. thesis, Wolfson College, Cambridge (1993)
4. Bierman, G.M.: A note on full intuitionistic linear logic. J. Ann. Pure Appl. Logic 79(3), 281–287 (1996)
5. Braüner, T., de Paiva, V.: A formulation of linear logic based on dependency-relations. In: Nielsen, M., Thomas, W. (eds.) CSL 1998, LNCS, vol. 1414, pp. 129–148. Springer, Heidelberg (1998)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献