Cooper, R.; Dobnik, S.; Lappin, S.; Larsson, S. Probabilistic Type Theory and Natural Language Semantics. LiLT 2015, 10.