Samson Abramsky (abramsky)

Contributions to Philosophie.ch

Bibliography

Abramsky, Samson. 1988. Domain Theory in Logical Form. London: University of London.
Abramsky, Samson. 2008. “Information, Processes and Games.” in Philosophy of Information, edited by Pieter Adriaans and Johan van Benthem, pp. 483–550. Handbook of the Philosophy of Science n. 8. Amsterdam: Elsevier Science Publishers B.V.
Abramsky, Samson. 2012. “Big Toy Models.” Synthese 186(3): 697–718.
Abramsky, Samson. 2015. “Arrow’s Theorem by Arrow Theory.” in Logic without Borders. Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces, pp. 15–30. Ontos Mathematical Logic n. 5. Berlin: de Gruyter.
Abramsky, Samson. 2017. “Contextuality: At the Borders of Paradox.” in Categories for the Working Philosopher, edited by Elaine M. Landry, pp. 262–285. Oxford: Oxford University Press, doi:10.1093/oso/9780198748991.001.0001.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1992a. Handbook of Logic in Computer Science. Volume 1. Background: Mathematical Structures. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1992b. Handbook of Logic in Computer Science. Volume 2. Background: Computational Structures. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1994. Handbook of Logic in Computer Science. Volume 3. Semantic Structures. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1995. Handbook of Logic in Computer Science. Volume 4. Semantic Modelling. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 2000. Handbook of Logic in Computer Science. Volume 5. Logic and Algebraic Methods. Oxford: Oxford University Press.
Abramsky, Samson and Hankin, Chris, eds. 1987. Abstract Interpretation of Declarative Languages. Chichester, West Sussex: Ellis Horwood, Ltd.
Abramsky, Samson and Heunen, Chris. 2016. “Operational Theories and Categorical Quantum Mechanics.” in Logic and Algebraic Structures in Quantum Computing, edited by Jennifer Chubb, Ali Eskandarian, and Valentina Harizanov, pp. 88–122. Cambridge: Cambridge University Press, doi:10.1017/cbo9781139519687.
Abramsky, Samson and Jung, Achim. 1994. “Domain Theory.” in Handbook of Logic in Computer Science. Volume 3. Semantic Structures, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 1–167. Oxford: Oxford University Press.
Abramsky, Samson and Ong, C.-H. Luke. 1992. Full Abstraction in The Lazy Lambda Calculus. Cambridge: University of Cambridge, Computer Laboratory.
Abramsky, Samson and Vickers, Steven. 1990. Quantales, Observational Logic, and Process Semantics. London: University of London, Imperial College of Science; Technology, Dept. of Computing.