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].
Nearby terms:
LALR « lalr.ss « Lambada-Calculus « LAMBDA »
lambda abstraction » lambda-calculus » lambda
expression
|
