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), pp. 39–58. doi: 10.18778/0138-0680.2023.11.