Kashapova F R

Publications in Math-Net.Ru

1. Intuitionistic theory of functionals of a high type
   
   Mat. Zametki, 45:3 (1989),  66–79
2. Determination of classes of constructively derivable theorems in a many-sorted intuitionistic set theory equivalent to a second-order arithmetic
   
   Dokl. Akad. Nauk SSSR, 276:4 (1984),  782–786
3. Constructive set theory with types, and consistency with Church's thesis
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, no. 4,  72–75