Samson Abramsky profile picture

Samson Abramsky

Stand Alone

Handbook of Logic in Computer Science: Volume 3. Semantic Structures (Handbook of Logic in Computer Science)
Abstract interpretation of declarative languages
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings
Automata, Languages and Programming
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991: Advanc (Lecture Notes in Computer Science)
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Lecture Notes in Computer Science)