Martínez-Rivillas, D. O., and R. J. G. B. de Queiroz. “The Theory of an Arbitrary Higher \(\lambda\)-Model”. Bulletin of the Section of Logic, vol. 52, no. 1, Apr. 2023, pp. 39-58, doi:10.18778/0138-0680.2023.11.