Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces.

Benoît Valiron Steve Zdancewic

Published in: Sci. Ann. Comput. Sci. (2014)

Keyphrases

vector space
lambda calculus
distance measure
similarity search
finite dimensional
neural network
euclidean space
intrinsic dimensionality
graph classification
feature selection
feature space
relational databases
principal component analysis
noisy data