Ugo de’Liguoro等人：简单类型lambda-beta-eta-calculus中的收缩（1992） conf/lics/LiguoroPS92 10.1109/LICS.1992.185557 简单类型lambda-beta-eta-calculus中的缩回 三 乌戈·德利古罗 1 阿道夫·皮佩诺 2 理查德·斯塔特曼 三 461-469 低收入国家 低收入国家 1992 1992 dblp记录“conf/lics/LiguoroPS92”的RDF数据的来源信息 2023-03-24T00:01:50+0100