Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory.

Alex K. Simpson

Published in: LICS (2002)

Keyphrases

set theory
fuzzy set theory
probabilistic model
computer vision
computational models
real time
information retrieval
artificial intelligence
image segmentation
cooperative
color images