113
правок
Изменения
Новый раздел
Согласимся '''первым символом''' <tex>t</tex> называть <tex>x</tex> в первом случае, и <tex>\Pi</tex> во втором. '''Первыми переменными''' <tex>t</tex> будем называть переменные <tex>x_1, \ldots, x_n</tex>.}}
=Типизируемость в <tex dpi = "180">\lambda\Pi</tex>-исчислении=
