A Dialectica-Like Interpretation of a Linear MSO on Infinite Words (Lecture Notes in Computer Science, 2019)

(untitled) - Pradic, P; Riba, C