Deliverables: A categorical approach to program development in type theory (1993)

by J McKinna, R M Burstall
Venue:Pages 32–67 of: Int. Symp. on Mathematical Foundations of Computer Science