Deliverables: a categorical approach to program development in type theory (1992)

by R Burstall, J McKinna