Башкин В.А. Лямбда-исчисление

Учебно-методическое пособие. — Ярославль: Ярославский государственный университет им. П. Г. Демидова (ЯрГУ), 2018. — 52 с.В учебно-методическом пособии излагаются основы теории лямбда-исчисления. Рассматриваются базовые элементы формализма, приводятся примеры различных вычислений и структур данных.
Предназначено для студентов факультета информатики и вычислительной техники ЯрГУ, обучающихся по дисциплине "Теория вычислительных процессов и структур".Предисловие.
Лямбда-исчисление.
Язык программирования.
Типизированное лямбда-исчисление.
Заключение.
Литература.