A cartesian closed category in Martin-Löf's intuitionistic type theory.

Silvio Valentini

Published in: Theor. Comput. Sci. (2003)

Keyphrases

theoretical framework
theoretical basis
database
search engine
digital images
data mining
computational model
fuzzy set theory
formal theory
linear logic