Modular correspondence between dependent type theories and categories including pretopoi and topoi.

Maria Emilia Maietti

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

Keyphrases

theoretical framework
neural network
machine learning
artificial intelligence
information systems
knowledge base
image processing
case study
multiscale
pairwise
cognitive psychology