3 ms·
Maybe reflective high-order calculus (ρ-calculus). Found this paper, though even the abstract is incomprehensible to me. https://www.sciencedirect.com/science/
by lioeters 8mo ago
Maybe reflective high-order calculus (ρ-calculus). Found this paper, though even the abstract is incomprehensible to me.
https://www.sciencedirect.com/science/article/pii/S1571066105051893 https://www.sciencedirect.com/science/article/pii/S157106610...