Advertisement
Advertisement
lambda calculus
noun
- logic computing 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
Discover More
˜yÐÄvlog History and Origins
Origin of lambda calculus1
C20: from the use of the symbol lambda (λ) to represent the mathematical functions
Discover More
Example Sentences
Examples have not been reviewed.
More recently, the Dutch computer scientist Alexander Ollongren proposed a second generation of the lingua cosmica that was derived from lambda calculus, a highly formalized logical system.
From
Node:kluge up, Next:Knights of the Lambda Calculus, Previous:kluge around, Up:= K = kluge up vt.
From
Advertisement
Advertisement
Advertisement
Advertisement
Browse