lambda calculus
柯林斯词典
1. N a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages λ演算[logic]
返回 lambda calculus
1. N a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages λ演算[logic]