## 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.ss ♦ Lambada-Calculus ♦ **LAMBDA** ♦ lambda abstraction ♦ lambda-calculus

Try this search on Wikipedia, OneLook, Google

Loading