A Framework for Distributional Formal Semantics
link.springer.com