Ayala-Rincón, Mauricio; de Carvalho-Segundo, Washington; Fernández, Maribel; Nantes-Sobrinho, Daniele; Rocha-Oliveira, Ana Cristina A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols. (English) Zbl 1423.68405 Theor. Comput. Sci. 781, 3-23 (2019). MSC: 68T15 03B70 68Q25 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Theor. Comput. Sci. 781, 3--23 (2019; Zbl 1423.68405) Full Text: DOI Link
Ayala-Rincón, Mauricio; de Carvalho-Segundo, Washington; Fernández, Maribel; Nantes-Sobrinho, Daniele A formalisation of nominal \(\alpha\)-equivalence with A and AC function symbols. (English) Zbl 1401.68273 Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 21-38 (2017). MSC: 68T15 03B70 68Q25 PDFBibTeX XMLCite \textit{M. Ayala-Rincón} et al., Electron. Notes Theor. Comput. Sci. 332, 21--38 (2017; Zbl 1401.68273) Full Text: DOI