Logo Nominal Kleene algebra

Papers

expand/reduce
Conference paper
A formal exploration of nominal Kleene algebra. (2016)
With Damien Pous. In MFCS.

Talks

expand/reduce
c A formal exploration of Nominal Kleene Algebra [slides]
MFCS, August 2016

Documents

expand/reduce