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 | |