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  5867 reads

Browse archivesActive forum topics 
Recent comments
2 days 22 hours ago
3 days 4 hours ago
3 days 6 hours ago
3 days 16 hours ago
5 days 11 hours ago
6 days 19 hours ago
6 days 19 hours ago
1 week 1 day ago
1 week 2 days ago
1 week 5 days ago