Ещё 2 семинара позади

В прошлый четверг и в эту среду изучали по-порядку: введение рекурсии в наше типизированное исчисление с помощью оператора неподвижной точки fix; редукционные стратегии.