Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

Source URL: www.cs.ox.ac.uk

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Models of computation
• Game theory
• Semantics
• Denotational semantics
• Game semantics
• Determinacy
• Samson Abramsky
• Operational semantics

arXiv:quant-phv1 15 DecA Categorical Quantum Logic Samson Abramsky Ross Duncan

Source URL: personal.strath.ac.uk

Edited by 1 No-Cloning In Categorical Quantum Mechanics Samson Abramsky

Source URL: www.iub.edu

CATEGORICAL QUANTUM MECHANICS Samson Abramsky and Bob Coecke 1 INTRODUCTION Our aim is to revisit the mathematical foundations of quantum mechanics from a novel point of view. The standard axiomatic presentation of quant

Source URL: www.iub.edu

Information Dynamics Samson Abramsky Department of Computer Science, Oxford University Samson Abramsky (Department of Computer Science, Oxford University) Information Dynamics

Source URL: events.inf.ed.ac.uk

Contextuality, Cohomology and Paradox Samson Abramsky Joint work with Rui Soares Barbosa, Kohei Kishida, Ray Lal and Shane Mansfield Department of Computer Science, University of Oxford

Source URL: logic.berkeley.edu.

Interference, Dependence and Bell’s Theorem Samson Abramsky Department of Computer Science, University of Oxford Samson Abramsky (Department of Computer Science, University Interference,

Source URL: crest.cs.ucl.ac.uk

Domain Theory Corrected and expanded version Samson Abramsky1 and Achim Jung2 This text is based on the chapter Domain Theory in the Handbook of Logic in Computer Science, volume 3, edited by S. Abramsky, Dov M. Gabbay,

Source URL: www.cs.bham.ac.uk

The Lazy Lambda Calculus Samson Abramsky Department of Computing Imperial College of Science and Technology March 6, 2006

Source URL: www.cs.ox.ac.uk

• Applied mathematics
• Lambda calculus
• Computability theory
• Combinatory logic
• Spectral theory of ordinary differential equations
• Holomorphic functional calculus
• Mathematics
• Theoretical computer science
• Spectral theory

IMA 2003 Workshop on Agent-based Modelling and Simulation Logic and Geometry of Agents 1 Logic and Geometry of Agents Samson Abramsky Oxford University Computing Laboratory http://web.comlab.ox.ac.uk/oucl/work/samson.ab

Source URL: www.ima.umn.edu

• Ethology
• Agent-based model
• Complex systems theory
• Scientific modelling
• Simulation
• Logic
• Science
• Scientific modeling
• Knowledge