A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
We devise a variant of Dialectica interpretation of intuitionistic linear logic for Open image in new window, a linear logic-based version MSO over infinite words. Open image in new window was known to be correct and complete w.r.t. Church’s synthesis, thanks to an automata-based realizability...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer Verlag
2019
|