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