Arakelyan, A. H. (2009). ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1. Proceedings of the YSU A: Physical and Mathematical Sciences, 43(3 (220), 42–51. https://doi.org/10.46991/PYSU:A/2009.43.3.042