里克·斯塔特曼：关于阿尔法转换的复杂性。(2007) 期刊/jsyml/Statman07 10.2178/JSL/1203350781 关于alpha转换的复杂性。 1 瑞克·斯塔特曼 1 1197-1203年 J.塞姆。日志。 J.塞姆。日志。 72 4 2007 dblp记录'journals/jsyml/Statman07'的RDF数据的来源信息 2017年5月28日T13:21:52+0200