@article{SEMR_2024_21_2_a17,
     author = {A. S. Burnistov and A. I. Stukachev},
     title = {Computable functionals of finite types in {Montague} semantics},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {1460--1472},
     year = {2024},
     volume = {21},
     number = {2},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2024_21_2_a17/}
}