On Irrelevance and Algorithmic Equality in Predicative Type Theory

Andreas Abel Gabriel Scherer

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

theoretical framework
desirable properties
information theory
theoretical basis
real time
search engine
computer vision
conceptual framework
database query languages
databases
real world
case study
computational model
belief functions
general theory