Barendregt's Variable Convention in Rule Inductions.

Christian Urban, Stefan Berghofer, Michael Norrish

Browse the full CADE paper archive.