Alexis Goyet

According to our database, Alexis Goyet authored at least 2 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies.

Alexis Goyet

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2010

Decidability and Undecidability Results on the Modal <i>µ</i>-Calculus with a Natural Number-Valued Semantics.

Alexis Goyet, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Logic, 2010