calculusoflambdaterms
nounUK /ˌkælkjʊləs əv ˈlæmdə tɜːmz/
US /ˌkælkjələs əv ˈlæmdə tɝmz/
A special math rule for figuring out how tiny changes in a math problem affect the answer.
The teacher used the calculusoflambdaterms to show how a small change in the formula changed the result.
RELATED WORDS
OTHER MEANINGS
2. A set of rules for changing and simplifying math expressions that use lambda terms.
In class we learned the calculusoflambdaterms for rewriting lambda terms step by step.
3. A way to study how computer programs built from lambda terms behave when they run.
The programmer used the calculusoflambdaterms to check that the tiny program would always stop.
4. A formal system for comparing two lambda terms to see if they mean the same thing.
The proof relied on the calculusoflambdaterms to show the two expressions were equal.