Five axioms of alphaconversion (0)

by A D Gordon, T Melham
Venue:In TPHOLs’96, LNCS