On non-structural subtype entailment
arXiv:2109.02458
Abstract
We prove that the non-structural subtype entailment problem for finite and regular type expressions is in PSPACE. In this way we close a decidability and complexity gap pending since 1996.
The paper contains error in formulation of Lemma 5.5, which invalidates the further construction