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

(03 Feb 2009)

lamb, Lam B, Lambada-Calculus, lambative < Prev | Next > lambda, lambda abstraction, lambda bacteriophage

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums

1. The name of the Greek letter lambda, corresponding with the English letter L, l.

2. <anatomy> The point of junction of the sagittal and lambdoid sutures of the skull.

<zoology> Lambda moth, a moth so called from a mark on its wings, resembling the Greek letter.

Origin: NL, fr. Gr.

(01 Mar 1998)

Lam B, Lambada-Calculus, lambative, LAMBDA < Prev | Next > lambda abstraction, lambda bacteriophage

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums