Strong categorical datatypes l (1991)

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