Robin Cockett and Dwight Spencer "Strong Categorical Datatypes {II}: A term logic for categorical programming" May, 1992 unpublished paper

Languages mentioned

• Charity {1990}