| 
|
Quote: reduction in lambda calculus is like eliminating differentiation in the differential calculus
topics >
all references >
references t-z >
Topic:
reduction languages
Group:
mathematics
Topic:
lambda calculus
Quotation Skeleton
The notion of calculus that emerges from these … and terminate when a goal is reached (in … 3+20 and then to 23 which cannot be … reduces expressions to eliminate operator-operand combinations (redexes). … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: reduction languages (17 items)
Group: mathematics (23 topics, 554 quotes)
Topic: lambda calculus (14 items)