Cooperating faculty member Dusko Pavlovic has a book out in Springer’s Theory and Applications of Computability series:

Programs as diagrams: From Categorical Computability to Computable Categories