论文信息 - Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem - 字舞流文

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

de Ng Dick Bruijn

[1] de Ng Dick Bruijn,et al. The mathematical language AUTOMATH, its usage, and some of its extensions , 1970 .

[2] A. Church. The calculi of lambda-conversion , 1941 .