О строении множества видов величин в алгоритмических языках

В статье рассматривается в абстрактной форме понятие вида величины в алгоритмических языках. В описании таких языков указываются некоторые элементарные виды, а также задаются способы введения новых видов, являющихся в определенном смысле производными. Уже в АЛГОЛе 60 возникают случаи, когда прямого применения этих средств недостаточно для четкого определения вида некоторых величин. В статье предлагается способ разрешения таких затруднений путем явного построения множества видов, обладающего желаемыми свойствами. Библ. 3 назв.