# Samson Abramsky : Publications

Click here to download all publications in a single bibtex file

@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", }

@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", }

@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{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", }

@article{abramsky2010introduction, title = "{Introduction to categories and categorical logic}", author = "Abramsky, S. and Tzevelekos, N.", year = "2010", journal = "New Structures for Physics. Springer", }

@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", }

@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", }

@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", }

@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", }

@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{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", }

@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", }

@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", }

@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", }

@phdthesis{AbramskyThesis, title = "Domain Theory and the Logic of Observable Properties", author = "Samson Abramsky", year = "1987", institution = "University of London", }

@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", }