Nominal Techniques in Isabelle/HOL

Christian Urban. Nominal Techniques in Isabelle/HOL. Journal of Automated Reasoning, 40(4):327-356, 2008. [doi]

Abstract

Abstract is missing.