Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics. - Alexis Goyet; Masami Hagiya; Yoshinori Tanabe (WoLLIC, 2010)

The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies. - Alexis Goyet (POPL, 2013)