The current theory is not sufficient to handle non-deterministic recursion, like in the pathological sameleaves example. But that does not mean it is impossible to deal with this. Could a disjunctive multi abstraction, i.e. one that can unfold to one of two conjunctions, help to obtain a closed analysis?
The current theory is not sufficient to handle non-deterministic recursion, like in the pathological sameleaves example. But that does not mean it is impossible to deal with this. Could a disjunctive multi abstraction, i.e. one that can unfold to one of two conjunctions, help to obtain a closed analysis?