Publisher
Springer International Publishing
Reference94 articles.
1. Abramsky, S. (1987). Domain theory and the logic of observable properties, Ph.D. thesis, London: Queen Mary University of London.
2. Abramsky, S. (1987). Domain theory in logical form. In Proceedings of the 2nd annual IEEE symposium on logic in computer science (pp. 47–53).
3. Abramsky, S. (2008). Information, processes and games. In Handbook of the philosophy of science (vol. 8, pp. 483–549). Philosophy of Information.
4. Abramsky, S. (2008). Temperley-Lieb algebra: From knot theory to logic and computation via quantum mechanics. In Mathematics of quantum computing and quantum technology (pp. 415–458). Oxon: Taylor & Francis.
5. Abramsky, S. (2015). Arrow’s theorem by arrow theory. In Logic without borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics (pp. 15–30). Berlin: de Gruyter.