Deterministic nominal automata minimization algorithm

My talk will be about the new representation of structures based on the nominal sets. I will present the minimization algorithm of deterministic nominal automata that use this representation. But the purpose of my work is to find the suitable environment not only for the minimization algorithm but also to design the programming language that is convenient for the other nominal computations. I will describe my implementation that, in my opinion, is a good step towards achieving these objectives.