Samson Abramsky
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryDL
Dependence Logic
cover - Image source: Open LibraryTL
Typed Lambda Calculi and Applications
cover - Image source: Open LibraryAL
Automata, languages and programming
cover - Image source: Open LibraryCT
Category Theory and Computer Programming
cover - T'Tapsoft '91: Proceedings of the...Samson Abramsky
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Dependence Logic
- Open Work
Typed Lambda Calculi and Applications
- Open Work
Automata, languages and programming
- Open Work
Category Theory and Computer Programming
- Open Work
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991