Author:
Caires Luís,Pérez Jorge A.
Publisher
Springer Berlin Heidelberg
Reference48 articles.
1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2(3), 297–347 (1992)
2. Lecture Notes in Computer Science;ZM Ariola,2003
3. Lecture Notes in Computer Science;R Atkey,2016
4. Barber, A.: Dual intuitionistic linear logic. Technical report LFCS-96-347 University of Edinburgh (1996)
5. Benton, P.N., Bierman, G.M., de Paiva, V.: Computational types from a logical perspective. J. Funct. Program. 8(2), 177–193 (1998)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献