Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory.

Thomas Colcombet

Browse the full LICS paper archive.