Вольфенгаген В.Э. Категориальная абстрактная машина. Конспект лекций: введение в вычисления

М.: Учебно-консультационный центр “ЮрИнфоР”, 2001. — 61 с.Работа содержит изложение базовых моделей вычислений, применяемые в компьютерных науках. Изложены основы λ-исчисления и комбинаторные исчисления. Основное внимание уделено подробному рассмотрению техники вычисления значения конструкций языков программирования, включая компилирование кода, его оптимизацию и исполнение на примере категориальной абстрактной машины. Изложение построено на примерах возрастающей сложности.
Книга может быть рекомендована студентам и аспирантам, изучающим основы компьютерных наук, теорию и языки программирования, информационные технологии, информатику и дискретную математику.