Samson Abramsky
University College London(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Quantum Mechanics and Applications, Computability, Logic, AI Algorithms, Formal Methods in Verification
Most-Cited Works
- Domain theory(1995)
- → A categorical semantics of quantum protocols(2004)543 cited
- → Computational interpretations of linear logic(1993)407 cited
- → Games and full completeness for multiplicative linear logic(1994)377 cited
- The lazy lambda calculus(1990)
- → Full Abstraction in the Lazy Lambda Calculus(1993)236 cited
- → Observation equivalence as a testing equivalence(1987)203 cited
- → A fully abstract game semantics for general references(2002)200 cited