Deliverables: A Categorial Approach to Program Development in Type Theory.

James McKinna, Rod M. Burstall

Browse the full MFCS paper archive.