Undecidability of $D_{<: }$ and Its Decidable Fragments.

Jason Z. S. Hu Ondrej Lhoták Undecidability of $D_{<: }$ and Its Decidable Fragments. 2019 abs/1908.05294 CoRR http://arxiv.org/abs/1908.05294 db/journals/corr/corr1908.html#abs-1908-05294