Equivalence of system f and ź2 in Coq based on context morphism lemmas.

Jonas Kaiser Tobias Tebbi Gert Smolka

Published in: CPP (2017)

Keyphrases

theorem prover
context aware
contextual information
multiresolution
computer vision
context sensitive
database
feature selection
database systems
multiscale
multi agent systems
relational databases
recommender systems
context dependent