Comment by lioeters

Maybe reflective high-order calculus (ρ-calculus). Found this paper, though even the abstract is incomprehensible to me.

https://www.sciencedirect.com/science/article/pii/S157106610...