Cooper, R., S. Dobnik, S. Lappin, and S. Larsson. “Probabilistic Type Theory and Natural Language Semantics”. Linguistic Issues in Language Technology, vol. 10, Nov. 2015, doi:10.33011/lilt.v10i.1357.