Possible Forms of Evaluation or Reduction in Martin-Löf Type Theory.

Martin W. Bunder

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

Keyphrases

theoretical framework
theoretical foundation
gold standard
computational model
evaluation criteria
databases
artificial intelligence
case study
computer science
expert systems
rough sets
evaluation method
theoretical basis
evaluation model
decision theory
reduction method