Samson Abramsky
Samson Abramsky
Professor of Computer Science, Oxford University
Email verificata su cs.ox.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
Domain theory
S Abramsky, A Jung
Oxford University Press, 1994
14961994
A categorical semantics of quantum protocols
S Abramsky, B Coecke
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
7592004
Computational Interpretations of Linear logic
S Abramsky
Theoretical Computer Science 111, 3--57, 1993
7001993
The Lazy Lambda Calculus
S Abramsky
Research Topics in Functional Programming, 65--116, 1990
6491990
Domain Theory in Logical Form
S Abramsky
Annals of Pure and Applied Logic 51, 1–77, 1991
6221991
Full Abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Information and Computation 163 (2), 409--470, 2000
564*2000
Games and full completeness for multiplicative linear logic
S Abramsky, R Jagadeesan
Journal of symbolic logic, 543-574, 1994
4541994
Abstract interpretation of declarative languages
S Abramsky, C Hankin
Prentice Hall Professional Technical Reference, 1987
4201987
Handbook of logic in computer science (vol. 2): background: computational structures
S Abramsky, DM Gabbay, SE Maibaum
Oxford University Press, Inc., 1993
398*1993
The sheaf-theoretic structure of non-locality and contextuality
S Abramsky, A Brandenburger
New J. Phys. 13 (113036), 1--40, 2011
3242011
Full Abstraction in the Lazy Lambda Calculus
S Abramsky, L Ong
Information and Computation 105 (2), 159--268, 1993
3211993
Observation equivalence as a testing equivalence
S Abramsky
Theoretical Computer Science 53 (2-3), 225-241, 1987
3001987
Domain theory, Handbook of logic in computer science (vol. 3): semantic structures
S Abramsky, A Jung
Oxford University Press, Oxford, 1995
2841995
Quantales, Observational Logic and Process Semantics
S Abramsky
2811993
Stanford encyclopedia of philosophy
U Nodelman, C Allen, J Perry
Metaphysics Research Lab, Center for the Study of Language and Information …, 1995
2641995
Strictness Analysis for Higher Order Functions
S Abramsky, G Burn, C Hankin
Science of Computer Programming 7, 249– 278, 1986
252*1986
Semantics of interaction: an introduction to game semantics
S Abramsky
Semantics and Logics of Computation, Publications of the Newton Institute, 1-31, 1997
2511997
A fully abstract game semantics for general references
S Abramsky, K Honda, G McCusker
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
2431998
A Domain Equation for Bisimulation
S Abramsky
Information and Computation 92 (2), 161-218, 1991
2401991
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Theoretical Aspects of Computer Software, 1--15, 1994
2291994
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20