The Integration of Logical and Algebraic Types.

Published in: Categorial Methods in Computer Science (1988)

Keyphrases

databases
neural network
genetic algorithm
artificial intelligence
three dimensional
digital libraries
expert systems
probability distribution
object oriented
data management
multiple types