%0 Journal Article %A A. S. Burnistov %A A. I. Stukachev %T Computable functionals of finite types in Montague semantics %J Sibirskie èlektronnye matematičeskie izvestiâ %D 2024 %P 1460-1472 %V 21 %N 2 %U http://geodesic.mathdoc.fr/item/SEMR_2024_21_2_a17/ %G en %F SEMR_2024_21_2_a17