Статья

Kachapova, Farida.
A strong multi-typed intuitionistic theory of functionals / F. Kachapova // The Journal of Symbolic Logic. – 2015. – Vol.80, № 3. – P. 1035-1065.