Samson Abramsky profile picture

Samson Abramsky

Is this your author profile? Create an account to claim and customize it!

Handbook of Logic in Computer Science: Volume 3. Semantic Structures
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)
Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Dependence Logic Theory and Applications
Dependence Logic Theory and Applications
Category Theory and Computer Science Paris, France, September 3-6, 1991. Proceedings
Category Theory and Computer Science Paris, France, September 3-6, 1991. Proceedings
Abstract interpretation of declarative languages (Ellis Horwood books in computing science, series in computers and their applications)

See All