Nominal algebras
In this project, we investigate how Kleene algebras may be enhanced with nominal features.
Related documents
Coq proof on Nominal Kleene Algebra  
Sources  
Documentation  
Coq proof on Bracket Algebra  
Sources (on Github)  
Documentation  
Related papers  
Bracket Algebra, a nominal theory of interleaved scopes
(2019)
with Alexandra Silva and Daniela Petrişan. 
More  
A Kleene theorem for nominal automata
(in ICALP 2019)
with Alexandra Silva. 
More  
Algebras of relations: from algorithms to formal proofs (in Université de Lyon 2016)  More  
A formal exploration of nominal Kleene algebra
(in MFCS 2016)
with Damien Pous. 
More  
Related talks  
A Kleene Theorem for Nominal Automata
ICALP
in Patras,
July 2019
.

More  
Bracket Algebra
Highlights
in Berlin,
September 2018
.

More  
A formal exploration of Nominal Kleene Algebra
MFCS
in Krakow,
August 2016
.

More 