An internal language for autonomous categories
Mackie, I
Román, L
Abramsky, S
Applied Categorical Structures
volume 1
issue 3
311-343
(Sep 1993)
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions Extended Abstract
Abramsky, S
McCusker, G
Electronic Notes in Theoretical Computer Science
volume 3
2-14
(1996)
Applicative communicating processes in first order logic
Bellia, M
Degano, P
Levi, G
Dameri, E
Martelli, M
Lecture Notes in Computer Science
volume 137
1-14
(27 May 1982)
New foundations for the geometry of interaction
Abramsky, S
Jagadeesan, R
Proceedings - Symposium on Logic in Computer Science
211-222
(01 Jun 1992)
Preface
Abramsky, S
Curien, P
Theoretical Computer Science
volume 115
issue 1
1-2
(Jul 1993)
Games and full abstraction for the lazy /spl lambda/-calculus
Abramsky, S
McCusker, G
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
234-243
(01 Jan 1995)
Abstract Interpretation, Logical Relations, and Kan Extensions
ABRAMSKY, S
Journal of Logic and Computation
volume 1
issue 1
5-40
(01 Jul 1990)
Concurrent games and full completeness
Abramsky, S
Mellies, P
Proceedings - Symposium on Logic in Computer Science
431-442
(01 Jan 1999)
PASCAL-M IN OFFICE INFORMATION SYSTEMS.
Cook, S
Abramsky, S
233-241
(01 Dec 1982)
DOMAIN THEORY IN LOGICAL FORM.
Abramsky, S
47-53
(01 Jan 1987)