R. Cooper, S. Dobnik, S. Lappin, and S. Larsson, “Probabilistic Type Theory and Natural Language Semantics”, LiLT, vol. 10, Nov. 2015.