Martínez-Rivillas, Daniel O., and Ruy 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.