Nominal Techniques in Isabelle/HOL.

Christian Urban, Christine Tasson

Browse the full CADE paper archive.