Strong Categorical Datatypes II: A Term Logic for Categorical Programming (1995)

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