An Interpretation of Martin-LöF's Constructive Theory of Types in Elementary Topos Theory.

Published in: Math. Log. Q. (1992)

Keyphrases

data structure
theoretical framework
conceptual framework
probability theory
data sets
artificial intelligence
bayesian networks
multiresolution
special case
computational model
computational models
general theory
grounded theory
digital imaging
mathematical foundations