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