A Vector Model for Type-Theoretical Semantics
A Structured Vector Space Model for Word Meaning in Context