Kalkül mit Reflexion
Ich suche nach einem einfachen Kalkül, das die Überlegungen zur Reflexion unterstützt , nämlich die Introspektion und Manipulation von laufenden Programmen. Gibt es eine untypisierte λλ\lambda Kalkulus-Erweiterung, mit der man λλ\lambda Terme in eine Form umwandeln kann, die syntaktisch manipuliert...