Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes Sobrinho. A Formalisation of Nominal α-equivalence with A and AC Function Symbols. Electronic Notes in Theoretical Computer Science, 332:21-38, 2017. [doi]
Abstract is missing.