Definitional Extension in Type Theory.

Published in: TYPES (2013)

Keyphrases

theoretical framework
formal theory
high level
general theory
learning algorithm
computer vision
feature selection
image processing
natural language
lower bound
question answering
theoretical basis