Комбинаторы — это просто!: различия между версиями

Содержимое удалено Содержимое добавлено
Строка 279:
#<math>\mathbf{T}[(E_{1}E_{2})] \Rightarrow (\mathbf{T}[E_{1}]\mathbf{T}[E_{2}])</math>.
#<math>\mathbf{T}[\lambda x.x] \Rightarrow \mathbf{I}</math>.
#<math>\mathbf{T}[\lambda x.y] \Rightarrow \mathbf{K}y</math>, если <math>y /=\ne x</math>.
#<math>\mathbf{T}[\lambda x.\lambda y.E] \Rightarrow \mathbf{T}[\lambda x.\mathbf{T}[\lambda y.E]]</math>.
#<math>\mathbf{T}[\lambda x.(E_{1}E_{2})] \Rightarrow \mathbf{S} \mathbf{T}[\lambda x.E_{1}] \mathbf{T}[\lambda x.E_{2}]</math>