The Lambda Calculus, General Term Rewriting and Food Nutrition

Play The Lambda Calculus, General Term Rewriting and Food Nutrition
Sign in to queue


Brian Beckman and Erik Meijer are back with another episode of BMO! Smiley

In this installment, Brian and Erik spend some time explaining the Lambda Calculus and most of the time digging into a real world application of general term rewriting. The Lambda Calculus is a specialized form of term rewriting (so, it's not really general term rewriting). It's OK... Brian will explain all of this (and more) by way of his general term rewriting system for analyzing the accuracy of Food Nutrition Labels (NFL). If you're curious about term rewriting and its practical application outside of theoretical computer science, then you're in luck. Brian and Erik engage the concepts at play here in their usual fun, engaging, brilliant ways.

Tune in. Enjoy. Learn.



Right click to download this episode

The Discussion

Add Your 2 Cents