Tanaka R, Mineshima K, Bekki D. Factivity and presupposition in Dependent Type Semantics. JLM [Internet]. 2017 Nov. 3 [cited 2024 Apr. 26];5(2):385–420. Available from: https://jlm.ipipan.waw.pl/index.php/JLM/article/view/153