Basic category theory (1992)

by A Poigné
Venue:Handbook of Logic in Computer Science