Extending Martin-Löf Type Theory by one Mahlo-universe.

Published in: Arch. Math. Log. (2000)

Keyphrases

theoretical framework
computational model
theoretical basis
database
digital libraries
expert systems
neural network
feature selection
decision trees
image segmentation
information theory
speech acts
general theory