Publisher
Springer International Publishing
Reference78 articles.
1. Abramsky S (1997) Semantics of interaction: an introduction to game semantics. In: Dybjer P, Pitts A (eds) Semantics and logics of computation. Publications of the Newton Institute, Cambridge University Press, pp 1–31
2. Abramsky S (1999) Axioms for definability and full completeness. In: Plotkin G, Tofte M, Stirling C (eds) Proof, language and interaction: essays in honour of Robin Milner. MIT Press, Cambridge, pp 55–75
3. Abramsky S (2001) Algorithmic game semantics. In: Schwichtenberg H, Steinbrüggen R (eds) Proof and system-reliability: proceedings of the NATO advanced study institute. Kluwer Academic Publishers, Marktoberdorf, pp 21–47 (24 July–5 Aug 2001)
4. Abramsky S (2006) What are the fundamental structures of concurrency?: we still don’t know!. Electron Notes Theoret Comput Sci 162:37–41
5. Abramsky S (2007) Temperley-Lieb algebra: from knot theory to logic and computation via quantum mechanics. In: Chen G, Kauffman L, Lomonaco S (eds) Mathematics of quantum computing and technology, Taylor and Francis, New York, pp 415–458
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献