Conservativity of embeddings in the lambda Pi calculus modulo rewriting (long version).

Published in: CoRR (2015)

Keyphrases

vector space
manifold learning
lambda calculus
data sets
dimensionality reduction
provably correct
database systems
data points
fixed point
rewrite rules