User loginNavigation 
Iteration function in lambda calculusI have a function like this iter :: Int > (a > a) > a > a how can i define such function in untyped lambda calculus ? any hint/help will be appreciated. By kmisd at 20110425 13:40  LtU Forum  previous forum topic  next forum topic  other blogs  7340 reads

Browse archivesActive forum topics 
Recent comments
1 day 4 hours ago
1 week 8 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