Documents Related by Co-Citation

200 On full abstraction for PCF – J M E Hyland, C H L Ong
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
210 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
86 Sequential algorithms on concrete data structures – G Berry, P-L Curien - 1982
34 On the symmetry of sequentiality – P-L Curien - 1993
50 Concurrent Games and Full Completeness РSamson Abramsky, Paul-Andr̩ Melli̬s, Equipe De Logique Mathematique - 1998
32 A Semantic analysis of control – James David Laird - 1998
99 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995
62 Full Abstraction for Functional Languages with Control – James Laird - 1997
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
118 A fully abstract game semantics for general references – S Abramsky, K Honda, G McCusker - 1998
103 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions – Samson Abramsky, Guy McCusker - 1997
12 A relative definability result for strongly stable functions and some corollaries – T Ehrhard - 1997
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
395 LCF considered as a programming language – G Plotkin - 1977
59 Hypercoherences: A Strongly Stable Model of Linear Logic – Thomas Ehrhard - 1993
52 Sequentiality and Strong Stability – A Bucciarelli, T Ehrhard - 1991
101 Geometry of interaction I: Interpretation of system f – J-Y Girard - 1989
31 Nominal games and full abstraction for the nu-calculus – S. Abramsky, D. R. Ghica - 2004