Folgen
Samson Abramsky
Samson Abramsky
Professor of Computer Science, UCL
Bestätigte E-Mail-Adresse bei ucl.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Domain theory
S Abramsky, A Jung
Oxford University Press, 1994
17341994
A categorical semantics of quantum protocols
S Abramsky, B Coecke
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
10002004
Full Abstraction in the Lazy Lambda Calculus
S Abramsky, L Ong
Information and Computation 105 (2), 159--268, 1993
9621993
Computational Interpretations of Linear logic
S Abramsky
Theoretical Computer Science 111, 3--57, 1993
7641993
Domain Theory in Logical Form
S Abramsky
Annals of Pure and Applied Logic 51, 1–77, 1991
7221991
Full Abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Information and Computation 163 (2), 409--470, 2000
6762000
The sheaf-theoretic structure of non-locality and contextuality
S Abramsky, A Brandenburger
New J. Phys. 13 (113036), 1--40, 2011
6042011
Games and full completeness for multiplicative linear logic
S Abramsky, R Jagadeesan
The Journal of Symbolic Logic 59 (2), 543-574, 1994
5071994
Abstract interpretation of declarative languages
S Abramsky, C Hankin
Halsted Press, 1987
4511987
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
S Abramsky, DM Gabbay, TSE Maibaum
OUP Oxford, 2001
3942001
Quantales, Observational Logic and Process Semantics
S Abramsky
3231993
Observation equivalence as a testing equivalence
S Abramsky
Theoretical Computer Science 53 (2-3), 225-241, 1987
3211987
Categorical quantum mechanics
S Abramsky, B Coecke
Handbook of quantum logic and quantum structures: quantum logic, 261-324, 2008
3172008
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
2841998
Semantics of interaction: an introduction to game semantics
S Abramsky
Semantics and Logics of Computation, Publications of the Newton Institute, 1-31, 1997
2711997
Strictness Analysis for Higher Order Functions
S Abramsky, G Burn, C Hankin
Science of Computer Programming 7, 249– 278, 1986
267*1986
Concurrent games and full completeness
S Abramsky, PA Mellies
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
2641999
A Domain Equation for Bisimulation
S Abramsky
Information and Computation 92 (2), 161-218, 1991
2511991
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Theoretical Aspects of Computer Software, 1--15, 1994
2491994
Strictness analysis for higher-order functions
GL Burn, C Hankin, S Abramsky
Science of Computer Programming 7, 249-278, 1986
2271986
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20