pdf bibA Vector Model for Type-Theoretical SemanticsKonstantin SokolovProceedings of the 1st Workshop on Representation Learning for NLP