Спецкурс МИАН, 2015 Лектор: Кузнецов Степан Львович
http://www.mathnet.ru/conf664
1. λ-термы. Бест
иповое λ-исчисление. α-конверсия и β-редукция.


Читать далее Лямбда-исчисление, или вычислительная теория доказательств →