Categories for Types. Cambridge Mathematical Textbooks (1993)

by R L Crole