Samson Abramsky
Samson Abramsky
2 books in the database
Books
Typed Lambda Calculi and ApplicationsSamson Abramsky
Typed Lambda Calculi and Applications
Samson Abramsky · 2001
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991Samson Abramsky
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991
Samson Abramsky · 1991
Co-authored books and collections
Books that list Samson Abramsky among their authors but not as the lead author: co-written works, collections and compilations.
