Internal Parametricity for Cubical Type Theory.

Evan Cavallo Robert Harper

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

Keyphrases

digital images
computational model
theoretical framework
general theory
data sets
decision making
databases
real world
machine learning
information retrieval
feature selection
image sequences
theoretical foundation
belief functions
topology preserving