Intuitionistic μ-Calculus with the Lewis Arrow.

Bahareh Afshari, Lide Grotenhuis

Browse the full TABLEAUX paper archive.