lambda calculus

ˈlæmdə ˈkælkjələs

lambda calculi

Definition

Definition of lambda calculus - Reverso English Dictionary

Noun

mathematics

TECH.

branch of mathematics that uses function abstraction and application

TECH.

He studied lambda calculus to better understand computational frameworks.

computing theory

TECH.

formal system for expressing computation using functions

TECH.

Lambda calculus is fundamental in understanding functional programming.

Add a suggestion |

Feedback:

Expressions with lambda

lambda chain

polypeptide chain in antibodies' light chains

The lambda chain was identified in the antibody structure.

lambda expression

expression defining an anonymous function

The lambda expression calculates the sum of two numbers.

lambda hyperon

type of baryon known as lambda baryon

Scientists studied the lambda hyperon in the lab.

lambda particle

type of subatomic particle in the baryon family

The lambda particle is essential in understanding quantum chromodynamics.

node lambda

serverless function executed in Node.js environment

The node lambda executed the code without a server.

Expressions with calculus

dental calculus

hard deposit on teeth formed by mineralization of dental plaque

Regular brushing can help prevent dental calculus buildup.

differential calculus

branch of calculus studying derivatives and differentials

Differential calculus helps find the slope of a curve.

infinitesimal calculus

branch of mathematics dealing with derivatives and integrals

He studied infinitesimal calculus during his first year at university.

integral calculus

branch of calculus focusing on integration and its applications

Integral calculus is essential for solving complex engineering problems.

predicate calculus

branch of logic using symbols for statements about objects and properties

Predicate calculus helps formalize statements in mathematics.

propositional calculus

symbolic logic branch handling propositions and connectives

Propositional calculus uses symbols to represent logical connectives.

calculus of variations

calculus area for maximizing or minimizing integrals and other functionals

She studied calculus of variations to derive the shortest curve between two points.

felicific calculus

theoretical framework for measuring pleasure

Felicific calculus is often discussed in utilitarian ethics.

functional calculus

method to apply functions to operators

Functional calculus is used in quantum mechanics.

operational calculus

study of calculus using operator theory

Operational calculus simplifies solving differential equations.

Examples of lambda calculus in a sentence

Researchers use lambda calculus to model complex algorithms.
Students often struggle with the concepts of lambda calculus.
Lambda calculus provides a framework for analyzing algorithms.

View all translations of lambda calculus

✨Click below to see the appropriate translations facing each meaning.

French:calculus lambda, lambda-calcul, ...
German:Lambda-Kalkül, ...
Italian:calcolo lambda, ...
Spanish:cálculo de lambda, ...
Portuguese:cálculo lambda, cálculo de lambda, ...
Chinese:λ演算, ...
Japanese:ラムダ計算, ラムダカリキュラス, ...
Arabic:حِسَاب لَامْبْدَا, ...
Hebrew:חֶשְׁבּוֹן לַמְדָּא, לַמְבְּדָה קַלְקוּלוּס, ...
Russian:лямбда-исчисление, ...
Ukrainian:лямбда-числення, функціональне числення, ...
Hindi:लैम्ब्डा कैलकुलस, गणना प्रणाली, ...
Bengali:ল্যাম্বডা ক্যালকুলাস, ...
Catalan:càlcul lambda, lambda càlcul, ...
Czech:lambda kalkul, ...
Danish:lambda-beregning, ...
Dutch:lambda-calculus, lambdacalculus, ...
Greek:υπολογισμός λάμδα, υπολογιστική λογιστική, ...
Hungarian:lambda-kalkulus, lambda-számítás, ...
Khmer:កលនវិជ្ជាឡាំដា, ប្រព័ន្ធផ្លូវការសម្រាប់បង្ហាញការគណនាដោយប្រើអនុគមន៍, ...
Korean:람다 계산법, 람다 대수, ...
Persian:حساب لامبدا, ...
Polish:rachunek lambda, kalkulus lambda, ...
Portuguese (BR):cálculo lambda, ...
Romanian:calcul lambda, ...
Swedish:lambda-kalkyl, lambda-beräkning, ...
Thai:แคลคูลัสแลมบ์ดา, ...
Turkish:lambda hesabı, lambda hesaplaması, ...
Vietnamese:tính toán lambda, lambda calculus, ...

Browse the dictionary entries starting with “l”:

Discover how Reverso redefines the dictionary

Go beyond “simple words”

100,000 expressions & idioms Understand any expression you come across: from corporate jargon like 💬 touch base or ↩️ circle back to everyday expressions such as 🌊 out of the blue or 🦆 lame duck, as well as idioms like 🍲 spill the beans and 🐎 hold your horses.

40,000 images When you search for a concrete noun or object, images help you grasp the meaning at a glance. Try searching for 🧵 puppytooth, 🎠 merry-go-round, ⚜️ fleur-de-lys, or 💤 bunk bed.

Informal language & slang Everyday conversations are packed with informal expressions and slang. Meanings are clearly tagged, so you'll always know when a word is casual. Look up hangry (😋 hungry + 😡 angry), 😎 rizz, 🕹️ noob, or 🔑 low-key.

Abbreviations & acronyms Quickly decode modern abbreviations and acronyms. Go from IDK to OMG in seconds and stay up to date with popular abbreviations such as 🐐 GOAT, 📜 tl;dr, 👀 POV, or 🖥️ AFK.

Regional usage (US / UK) Reverso highlights regional differences between American and British English. You’ll never have to wonder where a word is commonly used: try lift vs. elevator, courgette vs. zucchini, or popular British slang like dodgy or banter. What’s more, when you search for 'color', you’ll immediately see its British counterpart, 'colour'.

Get more than a simple definition

Translations for each meaning View translations alongside each meaning to see how a word is translated in each context. Simply toggle translations ON and choose among 25+ languages. You can also display the translation of definitions or examples into your native language to deepen your understanding.

Synonyms & related words by meaning View synonyms and related words for each meaning, not just for the word as a whole. This helps you choose the most accurate word for your context. Click the

icon to discover related terms: analogies, antonyms, common collocates, words with same roots, umbrella terms… Try with happening or hunch.

Multiple examples for every meaning Each meaning comes with three real-life examples to show you how the word is used in different contexts. Click the

icon next to the first example to see two additional options and learn to use new vocabulary naturally.

Go from understanding to mastery

Save words for later review Click the

icon to save words you want to revisit. You can also save a specific meaning by clicking on the

icon next to it. For example, you might want to save the word “table” as a verb, which means “to postpone”.

Practice with personalized flashcards Reverso automatically transforms your searches and saved words into personalized flashcards and quizzes, featuring high-quality audio and usage examples. This helps you transform terms you only recognize into words you actually use confidently.

Learn with Netflix, YouTube, and your favorite texts With Reverso Chrome extension, transform movies, TV shows, articles, or song lyrics into an interactive lesson. Look up words and expressions in one click on any website and learn with your favorite content.

Definition of lambda calculus - Reverso English Dictionary

Noun

Expressions with lambda

Expressions with calculus

Terms related to lambda calculus

Examples of lambda calculus in a sentence

View all translations of lambda calculus

Discover how Reverso redefines the dictionary

Go beyond “simple words”

Get more than a simple definition

Go from understanding to mastery