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