Matsuoka D, Bekki D, Yanaka H. A propositions-as-types approach to the generalized crossover effect. SuB [Internet]. 2025 Sep. 22 [cited 2026 Apr. 2];29:986-1003. Available from: https://ojs.ub.uni-konstanz.de/sub/index.php/sub/article/view/1258