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

Browse archivesActive forum topics 
Recent comments
3 hours 3 min ago
13 hours 28 min ago
14 hours 42 min ago
1 day 14 hours ago
1 day 17 hours ago
1 day 18 hours ago
1 day 18 hours ago
1 day 19 hours ago
1 day 23 hours ago
2 days 9 min ago