Author:
Coecke Bob,Moore David J.,Smets Sonja
Reference66 articles.
1. Abramsky, S.: 1993, ‘Computational Interpretations of Linear Logic’, Theoretical Computer Science
111, 3–57.
2. Abramsky, S. and B. Coecke: 2002, ‘Physical Traces: Quantum vs. Classical Information Processing’, CTCS';02 Submission.
3. Abramsky, S. and R. Jagadeesan: 1994, ‘New Foundations for the Geometry of Interaction’, Information and Computation
111, 53–119.
4. Abramsky, S. and S. Vickers: 1993, ‘Quantales, Observational Logic and Process Semantics’, Mathematical Structures in Computer Science
3, 161–227.
5. Abrusci, V. M.: 1990, ‘Non-Commutative Intuitionistic Linear Logic’, Zeit-schrift für Mathematische Logik & Grundlagen der Mathematik
36, 297–318.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献