AboutSign inJoin
User photo

Samson Abramsky

About

Samson Abramsky is Professor of Computer Science at University College London. He has made contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, geometry of interaction, game semantics and quantum computing.

Books

Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
Samson Abramsky
Category Theory and Computer Science
Category Theory and Computer Science
Samson Abramsky, Andrew Pitts, Pierre-Louis Curien, David H. Pitt, Axel Poigne, David E. Rydeheard
TAPSOFT '91 - Volume 2
TAPSOFT '91 - Volume 2
Samson Abramsky, Thomas S. E. Maibaum
Automata, Languages and Programming
Automata, Languages and Programming
Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
Automata, Languages and Programming
Automata, Languages and Programming
Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
Dependence Logic
Dependence Logic
Jouko Väänänen, Heribert Vollmer, Samson Abramsky, Juha Kontinen
Automata, Languages and Programming
Automata, Languages and Programming
Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian