A formal treatment of the barendregt variable convention in rule inductions.

Christian Urban, Michael Norrish

Browse the full ICFP paper archive.