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

Cached

Download Links

by James Hugh McKinna
Citations:24 - 1 self