Robin Cockett and Dwight Spencer "Strong Categorical Datatypes {I}" International Meeting on Category Theory 1991 in R. A. G. Seely, ed, AMS Canadian Mathematical Society Proceedings

Languages mentioned

• Charity {1990}