Generalization in Type Theory Based Proof Assistants.

Published in: TYPES (2000)

Keyphrases

theoretical framework
information retrieval
general theory
theoretical basis
computational models
conceptual framework
proof theoretic
image processing
website
database systems
bayesian networks
rough sets
computational model