EDN Admin
Well-known member
Brian Beckman and Erik Meijer are back with another episode of BMO! <img src=http://ecn.channel9.msdn.com/o9/content/images/emoticons/emotion-1.gif?v=c9 alt=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, its not really general term rewriting). Its 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 youre curious about term rewriting and its practical application outside of theoretical computer science, then youre in luck. Brian and Erik engage the concepts at play here in their usual fun, engaging, brilliant ways. Tune in. Enjoy. Learn. <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Feeds/RSS&WT.dl=0&WT.entryid=Entry:RSSView:e08eba9e5c2146dfbae2a05c015dad14
View the full article
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, its not really general term rewriting). Its 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 youre curious about term rewriting and its practical application outside of theoretical computer science, then youre in luck. Brian and Erik engage the concepts at play here in their usual fun, engaging, brilliant ways. Tune in. Enjoy. Learn. <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Feeds/RSS&WT.dl=0&WT.entryid=Entry:RSSView:e08eba9e5c2146dfbae2a05c015dad14
View the full article
