Martínez-Rivillas DO, de Queiroz RJGB. The Theory of an Arbitrary Higher \(\lambda\)-Model. B Sect Log [Internet]. 2023 Apr. 25 [cited 2024 May 5];52(1):39-58. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/13400