User loginNavigation 
implementing byvalue reduction in lambda calculusGreetings, I am having trouble wrapping my head around byvalue substitution in lambda calculus. To try to warm up to lambda calculus I wrote a reducer, which works for leftmost outermost evaluation. However, when I tried to implement byvalue it seemed to work fine, accept in a situation where byvalue should have failed. Instead I get the same reduction as if I were using the leftoutermost substitution (which in this case should succeed). I am using the definition given in Sestoft, Peter's "Demonstrating Lambda Calculus Reduction." Given this occurrence of an error, I am led to the conclusion that either (1) I got lucky on leftoutermost reduction or (2) I am missing something on byvalue reduction. I would greatly appreciate any feedback or advice that this community can give. Sincerely, Jon By jdgallag at 20090228 21:23  LtU Forum  previous forum topic  next forum topic  other blogs  6863 reads

Browse archivesActive forum topics 
Recent comments
1 day 5 hours ago
1 week 9 hours ago
1 week 4 days ago
2 weeks 4 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 6 days ago
4 weeks 3 days ago
4 weeks 4 days ago