Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference20 articles.
1. Abramsky S., Jagadeesan R.: ‘Games and full completeness for multiplicative linear logic’. Journal of Symbolic Logic 59, 543–574 (1994)
2. Blass A.: ‘Degrees of indeterminacy of games’. Fundamenta Mathematicae 77, 151–166 (1972)
3. Blass A.: ‘A game semantics for linear logic’. Annals of Pure and Applied Logic 56, 183–220 (1992)
4. Blass, A., ‘Resource consciousness in classical logic’, in G. Mints and R. Muskens (eds.), Games, Logic, and Constructive Sets (Proceedings of LLC9, the 9th conference on Logic, Language, and Computation, held at CSLI), 2003, pp. 61–74.
5. Girard J.Y.: ‘Linear logic’. Theoretical Computer Science 50, 1–102 (1987)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献