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

Browse archivesActive forum topics 
Recent comments
39 min 45 sec ago
7 hours 14 min ago
16 hours 47 min ago
18 hours 11 min ago
19 hours 38 min ago
20 hours 49 min ago
21 hours 29 min ago
1 day 18 min ago
1 day 1 hour ago
1 day 3 hours ago