Инд. авторы:	Грасмик А.В.
Заглавие:	О представлении P-программ в интуиционистской теории типов
Библ. ссылка:	Грасмик А.В. О представлении P-программ в интуиционистской теории типов // Вычислительные системы. - 1994. - Т.B148. - С.32-39.
Издано:	1994
Физ. характеристика:	с.32-39