Стативка, Юрій ІвановичКорнієнко, Владислав Сергійович2023-01-162023-01-162022Корнієнко, В. С. Інтерпретатор лямбда-виразів : магістерська дис. : 121 Інженерія програмного забезпечення / Корнієнко Владислав Сергійович. – Київ, 2022. – 133 с.https://ela.kpi.ua/handle/123456789/51866Дане дослідження показує як можна здіснювати обробку та обчислення лямбда-виразів в рамках нетипізованого лямбда-числення. Розроблено інструмент для інтерпретації лямбда-виразів, в якому реалізовано основні концепції нетипізованого лямбда-числення. Інтерпретатор лямбда-виразів розроблено у вигляді клієнт-серверного застосунку з використанням інтерфейсу прикладного програмування.ukлямбда-численнялямбда-виразабстракціязміннаінтерпретаторфункційне програмуванняlambda-calculuslambda-expressionabstractionvariableinterpreterfunctional programmingMaster Thesis133 с.004.4