D. O. Martínez-Rivillas and R. J. G. B. de Queiroz, “The Theory of an Arbitrary Higher \(\lambda\)-Model”, B Sect Log, vol. 52, no. 1, pp. 39–58, Apr. 2023.