CALMOC
Categorical and Algebraic Models of Computation
Giulio Manzonetto, Henk Barendregt, Mai Gehrke, Herman Geuvers, Jan Rutten
Radboud University