LAMBDA
A version of typed lambda-calculus, used to describe semantic domains.
["Outline of a Mathematical Theory of Computation", D.S. Scott, TM PRG-2, PRG, Oxford U, 1971].
| < Previous Terms | Terms Containing LAMBDA | Next Terms > |
| lag Lakota LALR lalr.ss Lambada-Calculus | 6.001 abstraction Alonzo Church alpha conversion beta abstraction | lambda abstraction lambda-calculus lambda expression lambda lifting LambdaMOO |
