Tanaka, R., Mineshima, K. and Bekki, D. (2017) “Factivity and presupposition in Dependent Type Semantics”, Journal of Language Modelling, 5(2), pp. 385–420. doi: 10.15398/jlm.v5i2.153.