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