2 citations · 2 across the 1 of their papers we have counts for
1 paper
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions. M…