Deriving Category Theory from Type Theory (1993)

Cached

Download Links

by Roy L. Crole

Document Versions

Deriving Category Theory from Type Theory –Roy L. Crole — 1993