瑞克·斯塔特曼 关于alpha转换的复杂性。 1197-1203 2007 72 J.赛姆布。日志。 4 https://doi.org/10.2178/jsl/1203350781 http://projecteuclid.org/euclid.jsl/203350781 db/journals/jsyml/jsyml72.html#Statman07