Author:
Kanovich Max,Kuznetsov Stepan,Nigam Vivek,Scedrov Andre
Publisher
Springer International Publishing
Reference27 articles.
1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2(3), 297–347 (1992)
2. Barry, G., Hepple, M., Leslie, N., Morrill, G.: Proof figures and structural operators for categorial grammar. In: Proceedings of the Fifth Conference of the European Chapter of the Association for Computational Linguistics, Berlin (1991)
3. Carpenter, B.: Type-Logical Semantics. MIT Press, Cambridge (1998)
4. Cervesato, I., Pfenning, F.: A linear logic framework. In: Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, pp. 264–275. IEEE Computer Society Press, July 1996
5. Cervesato, I., Pfenning, F.: A linear logical framework. Inform. Comput. 179(1), 19–75 (2002)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献