Strong categorical datatypes II: A term logic for categorical programming (0)

by J Robin B Cockett, Dwight Spencer
Venue:Theoretical Computer Science