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