Login / Signup
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi.
Benoît Valiron
Steve Zdancewic
Published in:
CoRR (2014)
Keyphrases
</>
vector space
neural network
similarity search