Теорія типів (Сохацький М.Е.)