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