Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.

Xinyi Wan, Qinxiang Cao

Browse the full SETTA paper archive.