Randy Pollack Closure Under Alpha-Conversion. 313-332 1993 conf/types/1993 TYPES db/conf/types/types93.html#Pollack93