A lambda calculus with naive substitution
暂无分享,去创建一个
[1] Rasmus Lerdorf,et al. Introduction to combinatory logic , 1972 .
[2] de Ng Dick Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem , 1972 .
[3] Barry K. Rosen,et al. Tree-Manipulating Systems and Church-Rosser Theorems , 1973, JACM.
[4] Michael J. O'Donnell,et al. Reduction strategies in subtree replacement systems. , 1976 .