151 citations · 163 across the 9 of their papers we have counts for
1 paper · 1 filter
Willem Conradie, Andrew Craig
We investigate the canonicity of inequalities of the intuitionistic mu-calculus. The notion of canonicity in the presence of fixed point operators is not entirely straightforward.…