13 citations · 24 across the 11 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015★ 2 cited
Indexed linear logic and higher-order model checking
Charles Grellois, Paul-André Melliès
In recent work, Kobayashi observed that the acceptance by an alternating tree automaton A of an infinite tree T generated by a higher-order recursion scheme G may be formulated as…
cs.LO2015★ 4 cited
Finitary semantics of linear logic and higher-order model-checking
Charles Grellois, Paul-André Melliès
In this paper, we explain how the connection between higher-order model-checking and linear logic recently exhibited by the authors leads to a new and conceptually enlightening pro…
cs.LO2015★ 13 cited
Relational semantics of linear logic and higher-order model-checking
Charles Grellois, Paul-André Melliès
In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded…