Чистое лямбда-исчисление

Пятница, 30 марта 2012, 18:30–19:50
ФМЛ 239, Актовый зал

Слайды с лекции

func_prog_lecture_300312.pptx

Описание

  • Рекурсия в λ-исчислении. Y-комбинатор.
  • Чистое λ-исчисление. Представление логических значений и функций, списков, арифметики целых чисел.
  • Интерпретаторы функциональных программ. Представление функциональных программ на языке Haskell.