Strong Categorical Datatypes I (1991)

by R Cockett, D Spencer
Venue:International Meeting on Category Theory 1991, volume 13 of Canadian Mathematical Society Conference