On non-structural subtype entailment
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2021
- DOI:
- 10.48550/arXiv.2109.02458
- arXiv:
- arXiv:2109.02458
- Bibcode:
- 2021arXiv210902458S
- Keywords:
-
- Computer Science - Programming Languages
- E-Print:
- The paper contains error in formulation of Lemma 5.5, which invalidates the further construction