A Dialectica-Like Interpretation of a Linear MSO on Infinite Words.

Ccilia Pradic, Colin Riba

Browse the full FOSSACS paper archive.