We devise a variant of Dialectica interpretation of intuitionistic linear logic for LMSO, a linear
logic-based version MSO over infinite words. LMSO was known to be correct and complete …

Full intuitionistic linear logic (FILL) was first introduced by Hyland and de Paiva, and went
against current beliefs that it was not possible to incorporate all of the linear connectives, eg …

This paper establishes a bridge between linear logic and mainstream graph theory, building
on previous work by Retor\'e (2003). We show that the problem of correctness for MLL+ Mix …

We present works aiming at proposing a Curry-Howard approach to Monadic Second-Order
Logic (MSO) on infinite trees and ω-words. Rabin's Tree Theorem, the decidability of MSO …

This paper establishes a bridge between linear logic and mainstream graph theory, building
on previous work by Retoré (2003). We show that the problem of correctness for MLL+ Mix …