Martínez-Rivillas, D. O.; de Queiroz, R. J. G. B. The Theory of an Arbitrary Higher \(\lambda\)-Model. B Sect Log 2023, 52, 39-58.