A short survey of isomorphisms of types.

Roberto Di Cosmo

Published in: Math. Struct. Comput. Sci. (2005)

Keyphrases

databases
neural network
data analysis
artificial intelligence
image segmentation
database systems
objective function
learning environment
video sequences
information technology
evolutionary algorithm
special case