Author:
Morrill Glyn,Valentín Oriol
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;D Béchet,2008
2. Buszkowski, W., Palka, E.: Infinitary action logic: complexity, models and grammars. Stud. Logica. 89(1), 1–18 (2008)
3. Curry, H.B., Feys, R.: Combinatory Logic, vol. I. North-Holland, Amsterdam (1958)
4. Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1–102 (1987)
5. Kamide, N.: Substructural logics with mingle. J. Logic Lang. Inf. 11(2), 227–249 (2002)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献