On the type correctness of polymorphic $\lambda$-terms. 1

В работе рассматриваются полиморфные $\lambda$-термы, в которых отсутствует информация о типах переменных. Цель данной работы – расширить алгоритм типизации таких термов [1] введением понятий констант типов и констант термов.