Naturality of homomorphisms (1989)

by R C Backhouse
Venue:Lecture notes, International Summer School on Constructive Algorithmics