Strong categorical datatypes II: A term logic for categorical programming (1995)

by J R B Cockett, D Spencer
Venue:Theor. Comput. Sci