VDict - Definition of lambda

Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), French - Vietnamese)

LAMBDA

Jump to user comments

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].

Related search result for "LAMBDA"

Words contain "LAMBDA":
fully lazy lambda lifting Knights of the Lambda-Calculus LAMBDA lambda abstraction lambda expression lambda lifting Lambda Prolog lambda-calculus LambdaMOO polymorphic lambda-calculus more...
Words contain "LAMBDA" in its definition in Computing (FOLDOC) dictionary:
lambda abstraction lambda expression lambda-calculus Weak Head Normal Form pure lambda-calculus beta reduction De Bruijn notation polymorphic lambda-calculus alpha conversion Lambda Prolog more...

Comments and discussion on the word "LAMBDA"