Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Основы лямбда-исчисления
Функциональное программирование


Что: Лекция
Когда: Воскресенье, 12 сентября 2010, 11:15–12:50
Где: ПОМИ РАН

Описание

В лекции рассматриваются основы нетипизированного лямбда-исчисления, порядки редукций и теорема Чёрча-Россера, понятия дна и строгости функции, а также важность отсутствия побочных эффектов (чистоты) для выполнения теоремы Чёрча-Россера.

Текст и домашнее задание: http://tinyurl.com/1-lambda-calculus