51 citations · 55 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 4 cited
A Proof System with Names for Modal Mu-calculus
Colin Stirling
Fixpoints are an important ingredient in semantics, abstract interpretation and program logics. Their addition to a logic can add considerable expressive power. One general issue i…
cs.LO2009★ 51 cited
Decidability of higher-order matching
Colin Stirling
We show that the higher-order matching problem is decidable using a game-theoretic argument.