Categories for Types

Roy L. Crole. Categories for Types. Cambridge mathematical textbooks, Cambridge University Press, 1993. [doi]

Authors

Roy L. Crole

This author has not been identified. Look up 'Roy L. Crole' in Google