Martínez-Rivillas DO, de Queiroz RJGB. The Theory of an Arbitrary Higher \(\lambda\)-Model. B Sect Log. 2023;52(1):39-58. doi:10.18778/0138-0680.2023.11