Glenszczyk A. Monadic Fragments of Intuitionistic Control Logic. B Sect Log [Internet]. 2016 Dec. 30 [cited 2024 May 6];45(3/4):143–153. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/1814