Лямбда-исчисление и теория типов (обзорная лекция)

Фрагмент лекции Льва Ламберова «Лямбда-исчисление и теория типов (обзорная лекция)» (31 октября 2023 г.) для студентов Уральского гуманитарного института Уральского федерального университета им. первого Президента России Б.Н.Ельцина. Направление подготовки: 45.03.04 Интеллектуальные системы в гуманитарной сфере.