@inproceedings{AbrasmkyEtAl:MinimumResourcesSNL,
  title = "Minimum quantum resources for strong non-locality",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and de Silva, Nadish and Kishida, Kohei and Mansfield, Shane",
  year = "2018",
  address = "Dagstuhl, Germany",
  booktitle = "Proceedings of 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017)",
  editor = "Wilde, Mark M.",
  isbn = "978-3-95977-034-7",
  issn = "1868-8969",
  note = "Accepted for communication at 14th International Conference on Quantum Physics and Logic (QPL 2017); E-print: arXiv:1705.09312 [quant-ph]",
  pages = "9:1--9:20",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2018/8582",
  volume = "73",
  doi = "10.4230/LIPIcs.TQC.2017.9",
}
@article{AbramskyEtAl:CompleteCharacterizationAvN,
  title = "A complete characterization of {A}ll-versus-{N}othing arguments for stabilizer states",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and Perdrix, Simon",
  year = "2017",
  issn = "1364-503X",
  journal = "Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, Theme Issue on `Second quantum revolution: foundational questions'",
  note = "E-print: arXiv:1705.08459 [quant-ph]",
  number = "2106",
  url = "http://rsta.royalsocietypublishing.org/content/375/2106/201603853",
  volume = "375",
  doi = "10.1098/rsta.2016.0385",
}
@article{AbramskyBarbosaMansfield:ContextualFraction,
  title = "Contextual fraction as a measure of contextuality",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Mansfield, Shane",
  year = "2017",
  journal = "Physical Review Letters",
  note = "E-print: arXiv:1705.07918 [quant-ph]; Earlier version (``Quantifying contextuality via linear programming'') accepted for communication to 13th International Conference on Quantum Physics and Logic (QPL 2016).",
  number = "050504",
  url = "https://link.aps.org/doi/10.1103/PhysRevLett.119.050504",
  volume = "119",
  doi = "10.1103/PhysRevLett.119.050504",
}
@inproceedings{AbramskyEtAl:QuantumMonad,
  title = "The quantum monad on relational structures",
  author = "Abramsky, Samson and Barbosa, Rui Soares and de Silva, Nadish and Zapata, Octavio",
  year = "2017",
  address = "Dagstuhl, Germany",
  booktitle = "Proceedings of 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)",
  editor = "Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Fran{\c{c}}ois",
  isbn = "978-3-95977-046-0",
  issn = "1868-8969",
  note = "E-print: arXiv:1705.07310 [cs.LO]",
  pages = "35:1--35:19",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum f\"{u}r Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2017/8129",
  volume = "83",
  doi = "10.4230/LIPIcs.MFCS.2017.35",
}
@article{AbramskyEtAl:PossibilitiesDetermine,
  title = "Possibilities determine the combinatorial structure of probability polytopes",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Kishida, Kohei and Lal, Raymond and Mansfield, Shane",
  year = "2016",
  journal = "Journal of Mathematical Psychology, Special Issue on Foundations of Probability (in press)",
  note = "E-print: arXiv:1603.07735 [quant-ph]",
  url = "http://www.sciencedirect.com/science/article/pii/S0022249616300013",
  doi = "10.1016/j.jmp.2016.03.006",
}
@inproceedings{AbramskyEtAl:ContextualityCohomologyAndParadox,
  title = "Contextuality, cohomology and paradox",
  author = "Abramsky, Samson and Barbosa, Rui Soares and Kishida, Kohei and Lal, Raymond and Mansfield, Shane",
  year = "2015",
  address = "Dagstuhl, Germany",
  booktitle = "Proceedings of 24th EACSL Annual Conference on Computer Science Logic ({CSL} 2015)",
  editor = "Kreutzer, Stephan",
  isbn = "978-3-939897-90-3",
  issn = "1868-8969",
  note = "E-print: arXiv:1502.03097 [quant-ph]",
  pages = "211--228",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum f{\"{u}}r Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2015/5416",
  volume = "41",
  doi = "10.4230/LIPIcs.CSL.2015.211",
}
@inproceedings{7965,
  title = "Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics",
  author = "S. Abramsky and G. Gottlob and P. Kolaitis",
  year = "2013",
  booktitle = "Artificial Intelligence (IJCAI '13), 2013 23rd International Joint Conference on",
  isbn = "978-1-57735-633-2",
  pages = "440-446",
  publisher = "AAAI Press",
  url = "http://ijcai.org/papers13/Papers/IJCAI13-073.pdf",
}
@inproceedings{AbramskyMansfieldBarbosa:Cohomology-QPL,
  title = "The cohomology of non-locality and contextuality",
  author = "Abramsky, Samson and Mansfield, Shane and Barbosa, Rui Soares",
  year = "2012",
  booktitle = "Proceedings of 8th International Workshop on Quantum Physics and Logic (QPL 2011)",
  editor = "Jacobs, Bart and Selinger, Peter and Spitters, Bas",
  note = "E-print: arXiv:1111.3620 [quant-ph]",
  pages = "1--14",
  series = "Electronic Proceedings in Theoretical Computer Science",
  url = "http://arXiv.org/pdf/1111.3620.pdf",
  volume = "95",
  doi = "10.4204/EPTCS.95.1",
}
@article{7962,
  title = "Logical Bell Inequalities",
  author = "Samson Abramsky and Lucien Hardy",
  year = "2012",
  issn = "1050-2947",
  journal = "Physical Review A",
  number = "ARTN 062114",
  pages = "1-11",
  publisher = "American Physical Society",
  url = "http://link.aps.org/doi/10.1103/PhysRevA.85.062114",
  volume = "85",
  doi = "10.1103/PhysRevA.85.062114",
}
@article{7961,
  title = "The Sheaf-Theoretic Structure of Non-Locality and Contextuality",
  author = "S. Abramsky and A. Brandenburger",
  year = "2011",
  issn = "1327-2630",
  journal = "New Journal of Physics",
  pages = "113036-113075",
  url = "http://iopscience.iop.org/1367-2630/13/11/113036",
  volume = "13",
  doi = "10.1088/1367-2630/13/11/113036",
}
@article{abramsky2010robin,
  title = "{Robin Milner's Work on Concurrency}",
  author = "Abramsky, S.",
  year = "2010",
  issn = "1571-0661",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "5--10",
  publisher = "Elsevier",
  volume = "265",
}
@inproceedings{abramsky2010coalgebras,
  title = "{Coalgebras, chu spaces, and representations of physical systems}",
  author = "Abramsky, S.",
  year = "2010",
  booktitle = "Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on",
  issn = "1043-6871",
  organization = "IEEE",
  pages = "411--420",
  url = "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5571745",
  doi = "10.1109/LICS.2010.35",
}
@incollection{abramsky2010csp,
  title = "{From CSP to Game Semantics}",
  author = "Abramsky, S.",
  year = "2010",
  booktitle = "Reflections on the Work of C.A.R. Hoare",
  pages = "33--45",
  publisher = "Springer",
}
@article{abramsky2010introduction,
  title = "{Introduction to categories and categorical logic}",
  author = "Abramsky, S. and Tzevelekos, N.",
  year = "2010",
  journal = "New Structures for Physics. Springer",
}
@article{abramsky2009if,
  title = "{From IF to BI: A tale of dependence and separation ()}",
  author = "Abramsky, S. and V{\\"a}{\\"a}n{\\"a}nen, J.",
  year = "2009",
  issn = "1573-0964",
  journal = "Synthese",
  number = "2",
  pages = "207--230",
  publisher = "Springer",
  url = "http://arxiv.org/pdf/1102.1388v1",
  volume = "167",
}
@article{abramsky2009game,
  title = "{Game Semantics for Access Control}",
  author = "Abramsky, S. and Jagadeesan, R.",
  year = "2009",
  issn = "1571-0661",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "135--156",
  publisher = "Elsevier",
  volume = "249",
}
@techreport{RR-09-11,
  title = "Coalgebras, Chu Spaces, and Representations of Physical Systems",
  author = "Samson Abramsky",
  year = "2009",
  institution = "OUCL",
  month = "October",
  number = "RR-09-11",
  pages = "26",
}
@techreport{RR-09-08,
  title = "Big Toy Models: Representing Physical Systems As Chu Spaces",
  author = "Samson Abramsky",
  year = "2009",
  institution = "OUCL",
  month = "September",
  number = "RR-09-08",
  pages = "19",
}
@inproceedings{Mon08,
  title = "Petri Nets, Discrete Physics, and Distributed Quantum Computation",
  author = "Samson Abramsky",
  year = "2008",
  booktitle = "Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday.",
  editor = "Pierpaolo Degano and Rocco De Nicola and Jose Meseguer",
  pages = "527--543",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5065",
}
@inproceedings{TLG07,
  title = "A Compositional Game Semantics for Multi-Agent Logics of Partial Information",
  author = "Samson Abramsky",
  year = "2007",
  editor = "J. van Bentham and D. Gabbay and B. Lowe",
  journal = "Interactive Logic",
  pages = "11--48",
  publisher = "Amsterdam University Press",
  series = "Texts in Logic and Games",
  volume = "1",
}
@inproceedings{paper84,
  title = "Physics from Computer Science",
  author = "S. Abramsky and B. Coecke",
  year = "2007",
  booktitle = "International Journal of Unconventional Computing",
  number = "3",
  pages = "179-197",
  volume = "3",
}
@inproceedings{paper85,
  title = "Temperley-Lieb algebra: From knot theory to logic and computation via quantum mechanics",
  author = "S. Abramsky",
  year = "2007",
  booktitle = "Mathematics of Quantum Computing and Technology",
  editor = "Goong Chen and Louis Kauffman and Sam Lomonaco",
  pages = "415-458",
  publisher = "Taylor and Francis",
}
@inproceedings{paper83,
  title = "Event Domains, Stable Functions and Proof Nets",
  author = "S. Abramsky",
  year = "2007",
  booktitle = "Plotkin Festschrift",
  pages = "33-67",
  series = "Electronic Notes in Theoretical Computer Science",
  volume = "172",
}
@inproceedings{paper81,
  title = "A Categorical Quantum Logic",
  author = "S. Abramsky and R. Duncan",
  year = "2006",
  booktitle = "Mathematical Structures in Computer Science, 16",
  pages = "469-489",
}
@inproceedings{paper82,
  title = "What are the fundamental structures of concurrency? We still don't know!",
  author = "S. Abramsky",
  year = "2006",
  booktitle = "Electronic Notes in Theoretical Computer Science, 162",
  pages = "37-41",
}
@inproceedings{paper80,
  title = "Socially Responsive, Environmentally Friendly Logic",
  author = "S. Abramsky",
  year = "2006",
  booktitle = "Truth and Games: Essays in Honour of Gabriel Sandu",
  editor = "Aho, Tuomo and Ahti-Veikko Pietarinen",
  pages = "17-46",
  publisher = "Acta Philosophica Fennica, Societas Philosophicas Fennica, Helsinki",
}
@inproceedings{paper75,
  title = "Linear realizability and full completeness for typed lambda-calculi",
  author = "S. Abramsky and M. Lenisa",
  year = "2005",
  booktitle = "Annals of Pure and Applied Logic",
  pages = "122-168",
  volume = "134",
}
@inproceedings{paper73,
  title = "A Game Semantics for Generic Polymorphism",
  author = "S. Abramsky and R. Jagadeesan",
  year = "2005",
  booktitle = "Annals of Pure and Applied Logic",
  pages = "3-37",
  volume = "133",
}
@inproceedings{paper74,
  title = "Abstract Physical Traces",
  author = "S. Abramsky and B. Coecke",
  year = "2005",
  booktitle = "Theory and Applications of Categories",
  pages = "111-124",
  volume = "14",
}
@inproceedings{paper79,
  title = "A Structural Approach To Reversible Computation",
  author = "S. Abramsky",
  year = "2005",
  booktitle = "Theoretical Computer Science",
  number = "3",
  pages = "441-464",
  volume = "347",
}
@inproceedings{paper78,
  title = "A Cook's Tour of the Finitary Non-Well-Founded Sets",
  author = "S. Abramsky",
  year = "2005",
  booktitle = "We Will Show Them: Essays in honour of Dov Gabbay",
  editor = "Sergei Artemov and Howard Barringer and Artur d'Avila Garcez and Luis C. Lamb and John Woods",
  pages = "1-18",
  publisher = "College Publications",
  volume = "1",
}
@inproceedings{paper77,
  title = "Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories",
  author = "S. Abramsky",
  year = "2005",
  booktitle = "Proceedings of {CALCO} 2005",
  pages = "1-31",
  series = "Springer Lecture Notes in Computer Science",
  volume = "3629",
}
@inproceedings{paper76,
  title = "What are the fundamental structures of concurrency? We still don't know!",
  author = "S. Abramsky",
  year = "2005",
  booktitle = "Algebraic process calculi: the first 25 years and beyond",
  month = "June",
  pages = "1-5",
  series = "{BRICS} Notes Series NS-05-03",
}
@techreport{RR-04-02,
  title = "A Categorical semantics of Quantum Protocols",
  author = "Samson Abramsky and Bob Coecke",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "February",
  number = "RR-04-02",
}
@inproceedings{paper69,
  title = "Applying Game Semantics to Compositional Software Modelling and verification",
  author = "S. Abramsky and D. Ghica and L. Ong and A. Murawski",
  year = "2004",
  booktitle = "{TACAS 2004}: Tools and Algorithms for the Construction and Analysis of Systems, 10 International Conference",
  pages = "421-435",
  publisher = "Springer {LNCS}",
  volume = "2988",
}
@inproceedings{paper70,
  title = "Nominal games and Full Abstraction for the Nu-Calculus",
  author = "S. Abramsky and D. Ghica and A. Murawski and C.-H. Ong and I. Stark",
  year = "2004",
  booktitle = "Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: LICS 2004",
  pages = "150-159",
  publisher = "{IEEE} Computer Society",
}
@inproceedings{paper72,
  title = "A Categorical Semantics of Quantum Protocols",
  author = "S. Abramsky and B. Coecke",
  year = "2004",
  booktitle = "Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004",
  pages = "415-425",
  publisher = "{IEEE} Computer Society",
}
@inproceedings{paper71,
  title = "High-Level Methods for Quantum Computation and Information",
  author = "S. Abramsky",
  year = "2004",
  booktitle = "Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004",
  pages = "410-414",
  publisher = "{IEEE} Computer Society",
}
@techreport{RR-03-02,
  title = "A game semantics for generic polymorphism",
  author = "Samson Abramsky and Radha Jagadeesan",
  year = "2003",
  institution = "Oxford University Computing Laboratory",
  month = "January",
  number = "RR-03-02",
}
@inproceedings{paper66,
  title = "A Game semantics for Generic Polymorphism",
  author = "S. Abramsky and R. Jagadeesan",
  year = "2003",
  booktitle = "Foundations of Software Science and Computational Structures, 6th International Conference, {FOSSACS} 2003",
  editor = "A. D. Gordon",
  pages = "1-22",
  series = "Springer Lecture Notes in Computer Science",
  volume = "2620",
}
@inproceedings{paper68,
  title = "Algorithmic Game Semantics and Component-Based Verification",
  author = "S. Abramsky and D. R. Ghica and L. Ong and A. Murawski",
  year = "2003",
  booktitle = "Proceedings of {SAVBCS} 2003: Specification and Verification of Component-Based Systems, Workshop at {ESEC/FASE} 2003",
  note = "published as Technical Report 03-11, Department of Computer Science, Iowa State University",
  pages = "66-74",
  url = "http://www.cs.iastate.edu/~leavens/SAVBCS/2003/papers/SAVCBS03.pdf",
}
@inproceedings{paper65,
  title = "Physical Traces: Quantum vs. Classical Information Processing",
  author = "S. Abramsky and B. Coecke",
  year = "2003",
  booktitle = "Electronic Notes in Theoretical Computer Science",
  pages = "1-26",
  url = "http://www1.elsevier.com/gej-ng/31/29/23/131/23/24/69002.pdf",
  volume = "69",
}
@inproceedings{paper67,
  title = "Sequentiality vs. concurrency in games and logic",
  author = "S. Abramsky",
  year = "2003",
  booktitle = "Mathematical Structures in Computer Science",
  pages = "531-565",
  volume = "13",
}
@inproceedings{paper64,
  title = "Geometry of Interaction and linear combinatory algebras",
  author = "S. Abramsky and E. Haghverdi and P. Scott",
  year = "2002",
  booktitle = "Mathematical Structures in Computer Science",
  pages = "625-665",
  volume = "12",
}
@inproceedings{paper60,
  title = "A fully abstract denotational semantics for the calculus of higher-order communicating systems",
  author = "B. Thomsen and S. Abramsky",
  year = "2001",
  booktitle = "Theoretical Computer Science",
  pages = "557-589",
  volume = "254",
}
@inproceedings{paper61,
  title = "Fully Complete Minimal {PER} Models for the Simply Typed {\lambda}-calculus",
  author = "S. Abramsky and M. Lenisa",
  year = "2001",
  booktitle = "CSL 2001 Conference Proceedings",
  pages = "442-457",
  series = "Springer {LNCS}",
  volume = "2142",
}
@inproceedings{paper63,
  title = "Algorithmic Game Semantics: A Tutorial Introduction",
  author = "S. Abramsky",
  year = "2001",
  booktitle = "Proceedings of the {NATO} Advanced Study Institute, Marktober- dorf",
  chapter = "Proof and System Reliability",
  editor = "H. Schichtenberg and R. Steinbr{\"u}ggen",
  pages = "21-47",
  publisher = "Kluwer Academic Publishers",
}
@inproceedings{paper62,
  title = "A Structural Approach to Reversible Computation",
  author = "S. Abramsky",
  year = "2001",
  booktitle = "LCCS 2001: Proceedings of the International Workshop on Logic and Complexity in Computer Science",
  editor = "D. Beauquier and Y. Matiyasevich",
  pages = "1-16",
  series = "LACL",
}
@book{book4,
  title = "The Handbook of Logic in Computer Science",
  year = "2000",
  editor = "S. Abramsky and D. Gabbay and T. S. E. Maibaum",
  note = "Volumes 1 and 2---Background: Mathematical Structures and Back- ground: Computational Structures---published in 1992. Volumes 3 and 4---Semantic Structures and Semantic Modelling--- published in 1995. Volume 5---Logic and Algebraic Methods",
  publisher = "Oxford University Press",
}
@inproceedings{paper59,
  title = "Axiomatizing Fully Complete Models for {ML} Polymorphic Types",
  author = "S. Abramsky and M. Lenisa",
  year = "2000",
  booktitle = "Proceedings of the International Symposium on Mathematical Foundations of Computer Science",
  editor = "M. Nielsen and B. Rovan",
  pages = "141-151",
  publisher = "Springer-Verlag",
  series = "Springer Lecture Notes in Computer Science",
  volume = "1893",
}
@inproceedings{paper58,
  title = "A Fully Complete {PER} Model for {ML} Polymorphic Types",
  author = "S. Abramsky and M. Lenisa",
  year = "2000",
  booktitle = "Proceedings of the Fourteenth International Workshop on Computer Science Logic",
  editor = "P. Clote and H. Schwichtenberg",
  pages = "140-155",
  publisher = "Springer-Verlag",
  series = "Springer Lecture Notes in Computer Science",
  volume = "1862",
}
@inproceedings{paper57,
  title = "Full Abstraction for {PCF}",
  author = "S. Abramsky and R. Jagadeesan and P. Malacaria",
  year = "2000",
  booktitle = "Information and Computation",
  pages = "409-470",
  volume = "163",
}
@inproceedings{paper56,
  title = "Concurrent Interaction Games",
  author = "S. Abramsky",
  year = "2000",
  booktitle = "Millennial Perspectives in Computer Science",
  editor = "J. Davies, A. W. Roscoe and J. Woodcock",
  pages = "1-12",
  publisher = "Palgrave",
}
@inproceedings{paper55,
  title = "Process Realizability",
  author = "S. Abramsky",
  year = "2000",
  booktitle = "Foundations of Secure Computation: Proceedings of the 1999 Marktoberdorf Summer School",
  editor = "F. L. Bauer and R. Steinbr{\"u}ggen",
  pages = "167-180",
  publisher = "{IOS} Press",
}
@inproceedings{paper54,
  title = "Concurrent Games and Full Completeness",
  author = "S. Abramsky and P.-A. Melli{\'e}s",
  year = "1999",
  booktitle = "Proceedings of the Fourteenth International Symposium on Logic in Computer Science",
  pages = "431-442",
  publisher = "Computer Society Press of the {IEEE}",
}
@inproceedings{paper52,
  title = "Full Abstraction for Idealized Algol with passive expressions",
  author = "S. Abramsky and G. McCusker",
  year = "1999",
  booktitle = "Theoretical Computer Science",
  pages = "3-42",
  volume = "227",
}
@inproceedings{paper49,
  title = "Game Semantics",
  author = "S. Abramsky and G. McCusker",
  year = "1999",
  booktitle = "Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School",
  editor = "H. Schwichtenberg and U. Berger",
  pages = "1-56",
  publisher = "Springer-Verlag",
}
@inproceedings{paper51,
  title = "A Specification Structure for Deadlock-freedom of Synchronous Processes",
  author = "S. Abramsky and S. J. Gay and R. Nagarajan",
  year = "1999",
  booktitle = "Theoretical Computer Science",
  pages = "1-53",
  volume = "222",
}
@inproceedings{paper50,
  title = "Nuclear and trace ideals in tensored {*-categories}",
  author = "S. Abramsky and R. Blute and P. Panangaden",
  year = "1999",
  booktitle = "J. Pure and Applied Algebra",
  pages = "3-47",
  volume = "143",
}
@inproceedings{paper48,
  title = "Axioms for Definability and Full Completeness",
  author = "S. Abramsky",
  year = "1999",
  booktitle = "Essays in Honour of Robin Milner",
  editor = "G. Plotkin and M. Tofte and C. Stirling",
  pages = "55-75",
  publisher = "MIT Press",
}
@inproceedings{paper46,
  title = "Call-by-value games",
  author = "S. Abramsky and G. McCusker",
  year = "1998",
  booktitle = "Proceedings of the Eleventh International Workshop on Computer Science Logic",
  editor = "M. Nielsen and W. Thomas",
  pages = "1-17",
  publisher = "Springer-Verlag",
  series = "Springer Lecture Notes in Computer Science",
  volume = "1414",
}
@inproceedings{paper47,
  title = "A fully abstract game semantics for general references",
  author = "S. Abramsky and K. Honda and G. McCusker",
  year = "1998",
  booktitle = "Proceedings of the Thirteenth International Symposium on Logic in Computer Science",
  pages = "334-344",
  publisher = "Computer Society Press of the IEEE",
}
@inproceedings{paper42,
  title = "Specifying Processes",
  author = "S. Abramsky and D. Pavlovic",
  year = "1997",
  booktitle = "Proceedings of the International Symposium on Category Theory In Computer Science",
  editor = "E. Moggi and G. Rosolini",
  pages = "147-158",
  publisher = "Springer-Verlag",
  series = "Springer Lecture Notes in Computer Science",
  volume = "1290",
}
@inproceedings{paper41,
  title = "Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol",
  author = "S. Abramsky and G. McCusker",
  year = "1997",
  booktitle = "Algol-like Languages",
  editor = "P. O'Hearn and R. D. Tennent",
  pages = "317-348",
  publisher = "Birkhauser",
}
@inproceedings{paper44,
  title = "A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems",
  author = "S. Abramsky and S. Gay and R. Nagarajan",
  year = "1997",
  booktitle = "Theoretical Aspects of Computer Software",
  editor = "M. Abadi and T. Ito",
  pages = "295-320",
  publisher = "Springer-Verlag",
  series = "Springer Lecture Notes in Computer Science",
  volume = "1281",
}
@inproceedings{paper45,
  title = "Games in the Semantics of Programming Languages",
  author = "S. Abramsky",
  year = "1997",
  booktitle = "Proceedings of the 11th Amsterdam Colloquium",
  editor = "P. Dekker and M. Stokhof and Y. Venema",
  pages = "1-6",
  publisher = "ILLC, Dept. of Philosophy, University of Amsterdam",
}
@inproceedings{paper43,
  title = "Game Semantics for Programming Languages",
  author = "S. Abramsky",
  year = "1997",
  booktitle = "22nd International Symposium on Mathematical Foundations of Computer Science",
  editor = "I. Privara and P. Ruzicka",
  pages = "3-4",
  publisher = "Springer-Verlag",
  series = "Springer Lecture Notes in Computer Science",
  volume = "1295",
}
@inproceedings{paper40,
  title = "Semantics of Interaction: an introduction to Game Semantics",
  author = "S. Abramsky",
  year = "1997",
  booktitle = "Proceedings of the 1996 {CLiCS} Summer School, Isaac Newton Institute",
  editor = "P. Dybjer and A. Pitts",
  pages = "1-31",
  publisher = "Cambridge University Press",
}
@inproceedings{paper38,
  title = "Specification Structures and Propositions-as-Types for Concurrency",
  author = "S. Abramsky and S. Gay and R. Nagarajan",
  year = "1996",
  booktitle = "Logics for Concurrency: Structure vs. Automata---Proceedings of the VI I Ith Banff Higher Order Workshop",
  editor = "G. Birtwistle and F. Moller",
  pages = "5-40",
  publisher = "Springer-Verlag",
}
@inproceedings{paper37,
  title = "Interaction Categories and the Foundations of Typed Concurrent Programming",
  author = "S. Abramsky and S. Gay and R. Nagarajan",
  year = "1996",
  booktitle = "Proceedings of the 1994 Marktoberdorf Summer Sxhool on Deductive Program Design",
  editor = "M. Broy",
  pages = "35-113",
  publisher = "Springer-Verlag",
}
@inproceedings{paper39,
  title = "Retracing some paths in process algebra",
  author = "S. Abramsky",
  year = "1996",
  booktitle = "{CONCUR '96}: Concurrency Theory, 7th International Conference",
  editor = "U. Montanari and V. Sassone",
  pages = "1-17",
  publisher = "Springer-Verlag",
}
@inproceedings{paper36,
  title = "Games for recursive types",
  author = "S. Abramsky and G. McCusker",
  year = "1995",
  booktitle = "Proceedings of the 1994 Workshop on Theory and Formal Methods",
  editor = "C. L. Hankin",
  pages = "1-20",
  publisher = "Imperial College Press",
}
@inproceedings{paper35,
  title = "Games and Full Abstraction for the Lazy {\lambda}-calculus",
  author = "S. Abramsky and G. McCusker",
  year = "1995",
  booktitle = "Proceedings of the Tenth Annual Symposium on Logic in Computer Science",
  editor = "D. Kozen",
  pages = "234-243",
  publisher = "IEEE Computer Society Press",
}
@inproceedings{paper30,
  title = "Domain Theory",
  author = "S. Abramsky and A. Jung",
  year = "1994",
  booktitle = "Handbook of Logic in Computer Science",
  editor = "S. Abramsky and D. Gabbay and T. S. E. Maibaum",
  pages = "1-168",
  publisher = "Oxford University Press",
}
@inproceedings{paper34,
  title = "Full Abstraction for {PCF} (Extended Abstract)",
  author = "S. Abramsky and R. Jagadeesan and P. Malacaria",
  year = "1994",
  booktitle = "Theoretical Aspects of Computer Software",
  editor = "M. Hagiya and J. C. Mitchell",
  pages = "1-15",
  publisher = "Springer-Verlag",
}
@inproceedings{paper32,
  title = "Games and Full Completeness for Multiplicative Linear Logic",
  author = "S. Abramsky and R. Jagadeesan",
  year = "1994",
  booktitle = "Journal of Symbolic Logic",
  number = "2",
  pages = "543-574",
  volume = "59",
}
@inproceedings{paper31,
  title = "New Foundations for the Geometry of Interaction",
  author = "S. Abramsky and R. Jagadeesan",
  year = "1994",
  booktitle = "Information and Computation, 111(1)",
  pages = "53-119",
}
@inproceedings{paper33,
  title = "Proofs as Processes",
  author = "S. Abramsky",
  year = "1994",
  booktitle = "J. Theoretical Computer Science",
  pages = "5-9",
  volume = "135",
}
@inproceedings{paper29,
  title = "Interaction Categories and Communicating Sequential Processes",
  author = "S. Abramsky",
  year = "1994",
  booktitle = "A Classical Mind: Essays in honour of C. A. R. Hoare",
  editor = "A. W. Roscoe",
  pages = "1-16",
  publisher = "Prentice Hall International",
}
@inproceedings{paper27,
  title = "An Internal Language for Autonomous Categories",
  author = "I. Mackie and L. Roman and S. Abramsky",
  year = "1993",
  booktitle = "Journal of Applied Categorical Structures",
  pages = "311-343",
  volume = "1",
}
@inproceedings{paper26,
  title = "An Integrated Engineering Study Scheme in Computing",
  author = "A. Finkelstein and J. Kramer and S. Abramsky and K. Broda and S. Drossopoulou and S. Eisenbach",
  year = "1993",
  booktitle = "Computer Journal, 36(4)",
  pages = "320-334",
}
@inproceedings{paper24,
  title = "Quantales, Observational Logic and Process Semantics",
  author = "S. Abramsky and S. J. Vickers",
  year = "1993",
  booktitle = "Mathematical Structures in Computer Science",
  pages = "161-227",
  volume = "3",
}
@inproceedings{paper23,
  title = "Full Abstraction in the Lazy {\lambda}-calculus",
  author = "S. Abramsky and C.-H. L. Ong",
  year = "1993",
  booktitle = "Information and Computation, 105(2)",
  pages = "159-268",
}
@inproceedings{paper28,
  title = "Interaction Categories (Extended Abstract)",
  author = "S. Abramsky",
  year = "1993",
  booktitle = "Theory and Formal Methods 1993",
  editor = "G. L. Burn and S. J. Gay and M. D. Ryan",
  pages = "57-69",
  publisher = "Springer-Verlag",
}
@inproceedings{paper25,
  title = "Computational Interpretations of Linear logic",
  author = "S. Abramsky",
  year = "1993",
  booktitle = "J. Theoretical Computer Science, 111",
  pages = "3-57",
}
@inproceedings{paper22,
  title = "Games and Full Completeness for Multiplicative Linear Logic",
  author = "S. Abramsky and R. Jagadeesan",
  year = "1992",
  booktitle = "Foundations of Software Technology and Theoretical Computer Science",
  editor = "R. Shyamsundar",
  pages = "291-301",
  publisher = "Springer-Verlag",
}
@inproceedings{paper21,
  title = "New Foundations for the Geometry of Interaction",
  author = "S. Abramsky and R. Jagadeesan",
  year = "1992",
  booktitle = "Symposium on Logic in Computer Science",
  pages = "211-222",
  publisher = "Computer Society Press of the {IEEE}",
}
@book{book3,
  title = "Proceedings of {TAPSOFT} 91",
  year = "1991",
  editor = "S. Abramsky and T. S. E. Maibaum",
  publisher = "Springer Lecture Notes in Computer Science",
  volume = "493-494",
}
@inproceedings{paper20,
  title = "A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions",
  author = "S. Abramsky and T. Jensen",
  year = "1991",
  booktitle = "{ACM} Symposium on Principles of Programming Languages",
  pages = "49-55",
  publisher = "{ACM} Press",
}
@inproceedings{paper19,
  title = "A Domain Equation for Bisimulation",
  author = "S. Abramsky",
  year = "1991",
  booktitle = "J. Information and Computation",
  number = "2",
  pages = "161-218",
  volume = "92",
}
@inproceedings{paper18,
  title = "Domain Theory in Logical Form",
  author = "S. Abramsky",
  year = "1991",
  booktitle = "Annals of Pure and Applied Logic",
  pages = "1-77",
  volume = "51",
}
@inproceedings{paper17,
  title = "A Generalized Kahn Principle for Abstract Asynchronous Networks",
  author = "S. Abramsky",
  year = "1990",
  booktitle = "Symposium on Mathematical Foundations of Programming Language Semantics",
  editor = "M. Mislove",
  pages = "1-21",
  publisher = "Springer-Verlag",
}
@inproceedings{paper16,
  title = "Abstract Interpretation, Logical Relations and Kan Extensions",
  author = "S. Abramsky",
  year = "1990",
  booktitle = "J. Logic and Computation, 1(1)",
  pages = "5-41",
}
@inproceedings{paper15,
  title = "{The Lazy {\lambda}-Calculus}",
  author = "S. Abramsky",
  year = "1990",
  booktitle = "Research Topics in Functional Programming",
  editor = "D. Turner",
  pages = "65-117",
  publisher = "Addison Wesley",
}
@inproceedings{paper14,
  title = "Observational Logic and Process Semantics (Abstract)",
  author = "S. Abramsky",
  year = "1989",
  booktitle = "Logic at {Botik} 89",
  editor = "A. Meyer and M. Taitslin",
  publisher = "Springer-Verlag",
}
@inproceedings{paper13,
  title = "Partial evaluation and {MIX} compilation in {PROLOG}",
  author = "D. Fuller and S. Abramsky",
  year = "1988",
  booktitle = "New Generation Computing",
  pages = "119-143",
  volume = "6",
}
@phdthesis{AbramskyThesis,
  title = "Domain Theory and the Logic of Observable Properties",
  author = "Samson Abramsky",
  year = "1987",
  institution = "University of London",
}
@book{book2,
  title = "Abstract Interpretation for Declarative Languages",
  year = "1987",
  editor = "S. Abramsky and Chris Hankin",
  publisher = "Ellis Horwood",
}
@inproceedings{paper10,
  title = "Introduction to Abstract Interpretation",
  author = "S. Abramsky and C. Hankin",
  year = "1987",
  booktitle = "Abstract Interpretation for Declarative Languages",
  chapter = "1",
  editor = "S.Abramsky and C. Hankin",
  pages = "9-31",
  publisher = "Ellis Horwood",
}
@inproceedings{paper12,
  title = "Domain Theory in Logical Form",
  author = "S. Abramsky",
  year = "1987",
  booktitle = "Symposium on Logic in Computer Science",
  pages = "47-53",
  publisher = "Computer Society Press of the {IEEE}",
}
@inproceedings{paper11,
  title = "Observation Equivalence as a Testing Equivalence",
  author = "S. Abramsky",
  year = "1987",
  booktitle = "J. Theoretical Computer Science",
  chapter = "53",
  pages = "225-241",
}
@book{book1,
  title = "Category Theory and Computer Programming",
  year = "1986",
  editor = "S. Abramsky and D. Pitt and A. Poign{\'e} and D. Rydeheard)",
  isbn = "978-3-540-17162-1",
  publisher = "Springer",
  doi = "10.1007/3-540-17162-2",
}
@inproceedings{paper9,
  title = "The Theory of Strictness Analysis for Higher Order Functions",
  author = "G. Burn and C. Hankin and S. Abramsky",
  year = "1986",
  booktitle = "Programs as Data Objects",
  editor = "H. Ganzinger and N. Jones",
  pages = "42-62",
  publisher = "Springer-Verlag",
}
@inproceedings{paper7,
  title = "Strictness Analysis for Higher Order Functions",
  author = "G. Burn and C. Hankin and S. Abramsky",
  year = "1986",
  booktitle = "Science of Computer Programming 7",
  pages = "249-278",
}
@inproceedings{paper8,
  title = "Strictness Analysis and Polymorphic Invariance",
  author = "S. Abramsky",
  year = "1986",
  booktitle = "Programs as Data Objects",
  editor = "H. Ganzinger and N. Jones",
  pages = "1-23",
  publisher = "Springer-Verlag",
}
@inproceedings{paper6,
  title = "{SECD-M}: a virtual machine for applicative multiprogramming",
  author = "S. Abramsky and R. Sykes",
  year = "1985",
  booktitle = "Functional Languages and Computer Architecture",
  editor = "J.-P. Jouannaud",
  pages = "81-98",
  publisher = "Springer-Verlag",
}
@inproceedings{paper5,
  title = "Reasoning about concurrent systems: a functional approach",
  author = "S. Abramsky",
  year = "1984",
  booktitle = "Distributed Systems",
  editor = "F. Chambers and D. Duce and G. Jones",
  pages = "307-319",
  publisher = "Academic Press",
}
@inproceedings{paper2,
  title = "Pascal-m: a language for the design of loosely coupled distributed systems",
  author = "S. Abramsky and R. Bornat",
  year = "1983",
  booktitle = "Distributed Computing Systems: Synchronization, Control and Coordination",
  editor = "Y. Paker and J.-P. Verjus",
  pages = "163-189",
  publisher = "Academic Press",
}
@inproceedings{paper4,
  title = "Experiments, Powerdomains and Fully Abstract Models for Applicative Multiprogramming",
  author = "S. Abramsky",
  year = "1983",
  booktitle = "Foundations of Computation Theory",
  editor = "M. Karpinski",
  pages = "1-13",
  publisher = "Springer-Verlag",
}
@inproceedings{paper3,
  title = "Semantic Foundations for Applicative Multiprogramming",
  author = "S. Abramsky",
  year = "1983",
  booktitle = "Automata, Languages and Programming",
  editor = "J. Diaz",
  pages = "1-14",
  publisher = "Springer-Verlag",
}
@inproceedings{paper1,
  title = "Pascal-m in Office Information Systems",
  author = "S. Abramsky and S. Cook",
  year = "1982",
  booktitle = "Office Information Systems",
  editor = "N. Naffah",
  publisher = "North Holland",
}