On Learning Nominal Automata with Binders. - Yi Xiao 002; Emilio Tuosto (ICE, 2019)

Learning nominal regular languages with binders. - Yi Xiao 002 (2020)