ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1 Ara Arakelyan
In this paper polymorphic lambda terms are considered, where no type information is provided for the variables. The aim of this work is to extend the algorithm of typification [1] of such terms introducing type constants and term constants.
DOI: 10.46991/PYSUA.2009.43.3.042 Physical and Mathematical Sciences, 43(3 (220) 42-51
