Aquinas Hobor
Results
1
comments of
Aquinas Hobor
Even from a theoretical standpoint, it's not clear the models in VST can reason about termination. The only work that was done in this direction was a paper that Rob...