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, Wiktionary, Google, OneLook.
Loading
