The Lambda Calculus, General Term Rewriting and Food Nutrition
- Posted: Jun 26, 2012 at 5:00 AM
- 99,305 Views
- 17 Comments
Loading User Information from Channel 9
Something went wrong getting user information from Channel 9
Loading User Information from MSDN
Something went wrong getting user information from MSDN
Loading Visual Studio Achievements
Something went wrong getting the Visual Studio Achievements
Right click “Save as…”
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.