Brian Beckman and Erik Meijer are back with another episode of BMO!
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.