Strong categorical datatypes II: a term logic for categorical programming

• Authors:

• J. Robin B. Cockett;Dwight Spencer

• Affiliations:

• Univ. of Calgary, Calgary, Alta., Canada;Oregon Graduate Institute, Portland, OR

• Venue:
• Theoretical Computer Science
• Year:
• 1995