Login / Signup

Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi.

Benoît ValironSteve Zdancewic
Published in: ICTAC (2014)
Keyphrases
  • vector space
  • neural network
  • similarity search
  • network structure
  • principal component analysis
  • low dimensional