Computational adequacy for recursive types in models of intuitionistic set theory.

Alex K. Simpson

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

set theory
fuzzy set theory
computational models
image processing
probabilistic model
rough sets
theoretical framework
information retrieval
fuzzy sets
partial order