On Nominal Regular Languages with Binders.

Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Browse the full FOSSACS paper archive.