A. G. Dragalin
A completeness theorem for higher-order intuitionistic logic
1987
in: Mathematical logic and its applications, Dordrecht : Springer
Cut-elimination theorem for higher-order classical logic
1987
in: Mathematical logic and its applications, Dordrecht : Springer