Categorical Topics in Computer Science (1990)

by A Asperti