Concepedia

Samson Abramsky

SA

74

Publications

6K

Citations

34

H-Index

1986

Active since

Affiliations

University of Oxford(Current)

Imperial College London

University of Edinburgh

University of Cambridge

Samson Abramsky is an author at University of Oxford specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

1986–2021

74

Publications

74

Domain theory

Samson Abramsky, Achim Jung · Logic in Computer Science · 1995 · 911 citations

A categorical semantics of quantum protocols

Samson Abramsky, Bob Coecke · 2004 · 540 citations

, , +17

Computational interpretations of linear logic

Samson Abramsky · Theoretical Computer Science · 1993 · 407 citations

, , +5

Games and full completeness for multiplicative linear logic

Samson Abramsky, Radha Jagadeesan · Journal of Symbolic Logic · 1994 · 377 citations

, , +13

Full Abstraction in the Lazy Lambda Calculus

Samson Abramsky, C.-H. Luke Ong · Information and Computation · 1993 · 236 citations

, , +4

Rows per page

1–5 of 74