5
-розрахунок з відображенням
Я шукаю просте обчислення, яке підтримує міркування про роздуми , а саме про самоаналіз та маніпулювання запущеними програмами. Чи існує нетипізоване розширення числення, яке дозволяє перетворити λ -терміни у форму, яку можна синтаксично маніпулювати, а потім оцінювати?λλ\lambdaλλ\lambda Я думаю, що в обчисленні є два основні додаткові умови: : приймає v …