Categories for types (1993)

by R L Crole