Andrew M. Pitts
Author detail
5 featured books
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL2681396A
Overview
Catalog identity and bibliographic footprint for this author.
5 representative editions
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 LibraryNS
Nominal Sets Names And Symmetry In Computer Science
cover - Image source: Open LibraryHO
Higher Order Operational Techniques in Semantics
cover - Image source: Open LibraryCT
Category theory and computer science
cover - NSNominal SetsAndrew M. Pitts
Nominal Sets
no cover - SASemantics and Logics of Computa...Andrew M. Pitts
Semantics and Logics of Computation
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.