deniok

Как именно возникли те типы, что чаще всего встречаются на практике, — понятно: по сути они понадобились в результате добавления символов в алфавит λ-исчисления. Здесь же речь шла скорее о λ-кубе, системы типизации в котором уже довольно слабо связаны с δ-функциями, примеры которых при нулевой арности включают натуральные числа и строки, а многоместные их варианты — элементарные операции над этими данными.