Article,

A formalisation of nominal α-equivalence with A, C, and AC function symbols.

, , , , and .
Theor. Comput. Sci., (2019)

Meta data

Tags

Users

  • @dblp

Comments and Reviews