Categories for Types

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

Abstract

Abstract is missing.