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 University, 1971.