Martínez-Rivillas, D. O., & de Queiroz, R. J. G. B. (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