Development of a Typeless Lambda Calculus Emulato

Скорочена інформація про документ
dc.contributor.authorShen, Yiyong
dc.date.accessioned2025-04-13T06:10:11Z
dc.date.issued2024
dc.descriptionКерівник роботи: Жолткевич Григорій Миколайович, професор, доктор технічних наук кафедри теоретичної та прикладної інформатики
dc.identifier.citationShen, Yiyong. Development of a Typeless Lambda Calculus Emulato : master’s thesis : specialty Computer Sciences and Information Technologies : educational program "Informatics" / Y. Shen ; supervisor G. М. Zholtkevyc. – Kharkiv : V. N. Karazin Kharkiv National University, 2024. – 29 с.
dc.identifier.urihttps://ekhnuir.karazin.ua/handle/123456789/21088
dc.language.isoen
dc.publisherKharkiv : V. N. Karazin Kharkiv National University
dc.subjectMATHEMATICS
dc.subjectfunctional programming
dc.subjectфункціональне програмування
dc.subjectlambda calculus
dc.subjectлямбда-числення
dc.subjecttypeless lambda calculus
dc.subjectлямбда без типу обчислення
dc.subjectрозробка емулятора
dc.subjectemulator development
dc.titleDevelopment of a Typeless Lambda Calculus Emulato
dc.title.alternativeРозробка емулятора безтипового лямбда-числення
dc.typeOther

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Шень Іюн Shen Yiyong Thesis.pdf
Розмір:
244.67 KB
Формат:
Adobe Portable Document Format
Завантажити

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Кваліфікаційні випускні роботи здобувачів вищої освіти. Факультет математики і інформатики