A Formalisation of Nominal α-equivalence with A and AC Function Symbols:LSFA 2016 - 11th Workshop on Logical and Semantic Frameworks with Applications (LSFA)

Autor: Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel, Nantes-Sobrinho, Daniele

Publikováno v: Ayala-Rincón, M, de Carvalho-Segundo, W, Fernández, M & Nantes-Sobrinho, D 2017, ' A Formalisation of Nominal α-equivalence with A and AC Function Symbols : LSFA 2016-11th Workshop on Logical and Semantic Frameworks with Applications (LSFA) ', Electronic Notes in Theoretical Computer Science, vol. 332, pp. 21-38 . https://doi.org/10.1016/j.entcs.2017.04.003

A formalisation of soundness of the notion of α-equivalence in nominal abstract syntax modulo associative (A) and associative-commutative (AC) equational theories is described. Initially, the notion of α-equivalence is specified based on a so calle

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2761::f170cb7e09e9785849867a04429c6d50
https://kclpure.kcl.ac.uk/ws/files/71666384/A_Formalisation_of_Nominal_AYALA_RINCON_Publishedonline22June2017_GOLD_VoR_CC_BY_NC_ND_.pdf