A Formal Exploration of Nominal Kleene Algebra.

Paul Brunet, Damien Pous

Browse the full MFCS paper archive.