%0 Journal Article %A Martínez-Rivillas, Daniel O. %A de Queiroz, Ruy J. G. B. %T The Theory of an Arbitrary Higher λ-Model %J Bulletin of the Section of Logic %D 2023 %P 39-58 %V 52 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/BSL_2023_52_1_a2/ %G en %F BSL_2023_52_1_a2