Sign in
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi.
Benoît Valiron
Steve Zdancewic
Published in:
ICTAC (2014)
Keyphrases
</>
vector space
neural network
similarity search
network structure
principal component analysis
low dimensional