Deliverables: A Categorical Approach to Program Development in Type Theory (1992)

Cached

Download Links

by James Hugh McKinna
Citations:24 - 1 self

Document Versions

Deliverables: A Categorical Approach to Program Development in Type Theory –James Hugh McKinna — 1992