Vector Semantics for Lambek Calculus with Contraction

Date: