Strong categorical datatypes I. Pages 141--169 of (1992)

by J R B Cockett
Venue:CMS Conference Proceedings