Publisher
Springer International Publishing
Reference57 articles.
1. Abramsky, S.: Domain theory in logical form. In: Proceedings of the 2nd Annual IEEE Symposium on Logic in Computer Science, pp. 47–53 (1987)
2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 415–425 (2004)
3. Abramsky, S.: Temperley-Lieb Algebra: from Knot Theory to logic and computation via quantum mechanics. In: Mathematics of Quantum Computing and Quantum Technology, pp. 415–458. Taylor & Francis (2008)
4. Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New J. Phys. 13, 113036 (2011)
5. Abramsky, S., Hardy, L.: Logical Bell inequalities. Phys. Rev. A 85, 062114 (2012)