present a proposal for combining a formal semantic framework, Type Composition Logic (Asher 2011), with Distributional Semantics.
types are recast in algebraic terms, including the addition of coercive or co-compositional functors that in the theory account for meaning shifts.