Introduction to Combinators and (lamda) Calculus (London Mathematical Society Student Texts)
J. R. Hindley, J. P. Seldin
评分 暂无
Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now dev
