Report - A Formalisation of Nominal -equivalence with A, C, and AC ...ayala/tcs_20171215i.pdfKeywords: Nominal logic; Alpha Equivalence, Equivalence modulo A, C and I Work supported by the

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form