General Bindings and Alpha-Equivalence in Nominal Isabelle.

Christian Urban, Cezary Kaliszyk

Browse the full ESOP paper archive.