Samson Abramsky

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II (2010) 29 copies

Handbook of Logic in Computer Science 5 (2000) 11 copies

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures (1992) 9 copies

Dependence Logic Theory and Applications (2016) 7 copies

Handbook of Logic in Computer Science: Volume 3: Semantic Structures (1995) 6 copies

Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures (Handbook of Logic in Computer Science, Vol 1) (1992) 6 copies

Handbook of Logic in Computer Science: Volume 4: Semantic Modelling (1995) 5 copies

Abstract Interpretation of Declarative Languages (Ellis Horwood Books in Computing Science, Series in Computer) (1987) 4 copies

Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures (Handbook of Logic in Computer Science, Vol 1); Volume 2:Background: Computational Structures;… (1992) 3 copies

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Lecture Notes in Computer Krakow, Poland, May 2-5, 2001… (2001) 2 copies

Mathematical Foundations of Information Flow (Proceedings of Symposia in Applied Mathematics) (2012) 2 copies

Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 : LNCS, Vol. 494 (Lecture Notes in… (1991) 1 copy

Handbook of Logic in Computer Science 1 copy

Domain theory and the logic of observable properties 1 copy

Alan Turing: His Work and Impact (2013) — Contributor — 44 copies

ALGOL-Like Languages: Volume 2 (1996) — Contributor, some editions — 10 copies

Johan van Benthem on Logic and Information Dynamics (2014) — Contributor — 6 copies