Intensions and extensions in a reflective tower
Olivier Danvy, Karoline Malmkjær · 1988
This article presents a model of the reflective tower based on the formal semantics of its levels. They are related extensionally by their mutual interpretation and intensionally by reification and reflection.