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 52, no. 1 (April 25, 2023): 39–58. Accessed May 5, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/13400.