5 works on record
Semantics And Logics Of Computation
Category theory and computer science
Types for Proofs and Programs
Applied Semantics
Category theory and programming language semantics