Categories for denotational semantics: category theory for the working computer scientist (1989)

by A Asperti, G Longo