Strong Categorical Datatypes II: A Term Logic for Categorical Programming.

J. Robin B. Cockett Dwight Spencer

Published in: Theor. Comput. Sci. (1995)

Keyphrases

data types
categorical data
attribute values
numerical values
programming language
logic programming
data sets
machine learning
database systems
data structure
relational databases
operating system
development environment
multi valued