lambda calculus
(redirected from Lambda-calculus)

Also found in: Encyclopedia, Wikipedia

0.01 sec.

lambda calculus

(Philosophy / Logic) (Electronics & Computer Science / Computer Science) Logic Computing a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages

[from the use of the symbol lambda (λ) to represent the mathematical functions]

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback
Add definition

Mentioned in	?		References in periodicals archive	?		Dictionary browser	?		Full browser	?
abstraction			00 Paperback London Mathematical Society lecture note series; 316 QA9 Four tutorial articles overview some of the well-established developments of linear logic: category theory, proof nets and lambda-calculus, programming, and linearity and non-linearity in distributed computations. Linear Logic in Computer Science by SciTech Book News			lamb's quarters lamb's tails lamb's wool lamb's-quarter lamb's-quarters lamb-chop lamb-like lambada Lambale Lambaréné lambast lambaste Lambative lambchop lambda lambda baryon lambda calculus lambda hyperon Lambda moth lambda particle lambda point lambda-b baryon lambda-b particle lambda-c baryon lambda-c particle Lambda-calculus lambdacism lambdoid Lambdoidal lambency lambent lambert Lambert pine Lambert-Eaton syndrome Lambertia Lambertia formosa Lambeth Lambeth Conference Lambeth Quadrilateral Lambeth walk lambing Lambis lambkill lambkin Lamblike lamboid suture Lamboys lambrequin lambskin Lambskinnet lambswool			Lambda Phi Epsilon Lambda Physik Excimer Lambda plate Lambda Plus laser lambda point lambda point Lambda programming Lambda programming Lambda Prolog Lambda quarter plate Lambda Scorpii Lambda Sigma Upsilon lambda sulfur Lambda Switch Capable Lambda Switch Capable Optical Cross-Connect lambda switching Lambda Theta Alpha Lambda Theta Phi Lambda Theta Phi Latin Fraternity, Inc Lambda Upsilon Lambda Fraternity, Inc lambda wave Lambda, Where Art Thou? lambda-b baryon lambda-b particle lambda-c baryon lambda-c particle Lambda-calculus Lambda-cyhalothrin Lambda-cyhalothrin Lambda-cyhalothrin Lambda-definable function Lambda-definable function Lambda-definable functions Lambda-definable functions Lambda-recursive function Lambda-recursive function Lambda-Resonator Ring Antenna Lambda-Switch Capable Label Switched Router lambdacism lambdacism LambdaMOO Lambdas Lambdas Lambdas Lambdas Lambdin, James lambdoid lambdoid lambdoid suture lambdoid suture lambdoid suture lambdoid suture (1) lambdoid suture (1) lambdoid suture (1) Lambdoidal Lambdoidal Lambdoidal suture

Dictionary, Thesaurus, and Translations

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.

lambda calculus (redirected from Lambda-calculus)

lambda calculus
(redirected from Lambda-calculus)