A categorical version of the Brouwer-Heyting-Kolmogorov interpretation.

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

Keyphrases

image interpretation
original version
image processing
bayesian networks
database
neural network
high level
categorical data
multiple interpretations