Domain Theory and the Logic of Observable Properties(1987)
Doctoral advisor
Richard Bornat[3]
Website
www.cs.ox.ac.uk/samson.abramsky
Samson AbramskyFRS FRSE (born 12 March 1953) is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021.
Abramsky's early work included profound contributions to domain theory and the connections thereof with geometric logic. Since then, his work has covered the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories and geometry of interaction, game semantics and quantum computing. Notably, he co-pioneered categorical quantum mechanics. More recently, he has been applying methods from categorical semantics to finite model theory, with applications to descriptive complexity.[2][5][6][7][8][9][10][11][12]
^"Mr Samson Abramsky". awards.acm.org.
^ abSamson Abramsky publications indexed by Google Scholar
^Cite error: The named reference mathgene was invoked but never defined (see the help page).
^A & C Black (2014). "ABRAMSKY, Prof. Samson". Who's Who. Bloomsbury Publishing.(subscription required)
^Samson Abramsky's publications indexed by the Scopus bibliographic database. (subscription required)
^Abramsky, S.; Jagadeesan, R.; Malacaria, P. (2000). "Full Abstraction for PCF" (PDF). Information and Computation. 163 (2): 409. arXiv:1311.6125. doi:10.1006/inco.2000.2930.
^Abramsky, S.; Ong, C. H. L. (1993). "Full Abstraction in the Lazy Lambda Calculus". Information and Computation. 105 (2): 159. doi:10.1006/inco.1993.1044.
^"Samson Abramsky LinkedIn page".
^Samson Abramsky at DBLP Bibliography Server
^Abramsky, S. (1993). "Computational interpretations of linear logic". Theoretical Computer Science. 111 (1–2): 3–57. doi:10.1016/0304-3975(93)90181-R.
^Samson Abramsky author profile page at the ACM Digital Library
^Samson Abramsky publications indexed by Microsoft Academic
SamsonAbramsky FRS FRSE (born 12 March 1953) is Professor of Computer Science at University College London. He was previously the Christopher Strachey...
became Lecturer in Quantum Computer Science in 2007, and jointly with SamsonAbramsky built and headed the Quantum Group, which in 2020 had well over 50...
greater than two. The sheaf-theoretic, or Abramsky–Brandenburger, approach to contextuality initiated by SamsonAbramsky and Adam Brandenburger is theory-independent...
including Professor Chimen Abramsky, and was the grandfather of Professor SamsonAbramsky and Jenny Abramsky. In 1956, Rabbi Abramsky was awarded the first...
long-distance runner SamsonAbramsky (born 1953), British computer scientist Sasha Abramsky (born 1972), British journalist and author Yehezkel Abramsky (1886–1976)...
different ways that these can be composed. It was pioneered in 2004 by SamsonAbramsky and Bob Coecke. Categorical quantum mechanics is entry 18M40 in MSC2020...
using topology. In this context, Steve Vickers, building on work by SamsonAbramsky and Michael B. Smyth, characterizes topological spaces as Boolean or...
which has been held by the following: Sir Tony Hoare FRS (1988–2000) SamsonAbramsky FRS (2000–2021) Nobuko Yoshida (2022 onwards) In November 2016, a Strachey...
power of abstraction in order to prove new results about the field. SamsonAbramsky John C. Baez Bob Coecke Joachim Lambek Valeria de Paiva Gordon Plotkin...
STAN-CS-80-785 Jan Willem Klop. "Term Rewriting Systems", Chapter 1 in SamsonAbramsky, Dov M. Gabbay and Tom Maibaum (Eds.), Handbook of Logic in Computer...
(equivalent to second or third class honours), and fail. Ann Copestake SamsonAbramsky Ian Bell Steve Bourne Simon Peyton Jones Stan Kelly-Bootle Lee Hsien...
investor Aziz Al Othman - Critical thinker of contemporary social issues SamsonAbramsky – British computer scientist Igor Aleksander – British artificial intelligence...
(14th century), logician Milton Abramowitz (1915–1958), mathematician SamsonAbramsky (born 1953), game semantics Amir Aczel (1950–2015), history of mathematics...
theories, for n = 1 and k = 3. They are a fundamental structure in SamsonAbramsky and Bob Coecke's categorical quantum mechanics. Dagger compact categories...
computer scientist and lecturer SamsonAbramsky. Great-great-great grandfather of journalist and author Sasha Abramsky. Sasha is the son of Chimen's son...
University Press. ISBN 0-521-80338-1. SamsonAbramsky, Achim Jung (1994). "Domain theory" (PDF). In S. Abramsky; D. M. Gabbay; T. S. E. Maibaum (eds.)...
Franz Guenthner), the Handbook of Logic in Computer Science] (with SamsonAbramsky and T. S. E. Maibaum), and the Handbook of Logic in Artificial Intelligence...
microprocessor architecture and contributions to computer systems 2013 SamsonAbramsky – for contributions to domain theory, game semantics and categorical...
Valiant, Complexity theory pioneer, winner of the Turing Award in 2010 SamsonAbramsky, computer scientist at the University of Oxford Pat Ambler, creator...
Majid – British mathematician Sir Adrian Smith – British mathematician SamsonAbramsky - British computer scientist, Professor of Computer Science at UCL...
Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)" SamsonAbramsky, "Domain theory in Logical Form" Robert Harper, Furio Honsell, Gordon...
and the New Economy 2000: Brian Randell, Facing up to Faults 1999: SamsonAbramsky From Computation to Interaction – Towards a Science of Information...
Ardavan (group spans physics and materials). Quantum Group, led by SamsonAbramsky and Bob Coecke. Mathematical physics, group led by Artur Ekert. The...
game semantics and linear logic. This line was further developed by SamsonAbramsky, Radhakrishnan Jagadeesan, Pasquale Malacaria and independently Martin...