Closure Under Alpha-Conversion (1993)

by Randy Pollack
Venue:In The Informal Proceeding of the 1993 Workshop on Types for Proofs and Programs