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