User loginNavigation 
Typed Lambda CalculusHello everyone, First, thank you for reading this post. I am currently creating an application that deals with Typed Lambda Calculus expressions and I have a serious problem. I have been looking everywhere for the definition of order of a type and after reading several books and articles, the only thing I found was the wikipedia page of Simply Typed Lambda Calculus. There, it shows such definition (even though the recursive function that someone wrote and the text that someone added later do not really match... to my opinion) If anyone knows or has ever seen the definition of assignment of order to a lambda calculus type, I would really appreciate to know the source, book, article... that I can reference in my work. Thank you, By marcosag at 20100430 17:54  LtU Forum  previous forum topic  next forum topic  other blogs  9487 reads

Browse archivesActive forum topicsNew forum topics 
Recent comments
16 hours 13 min ago
2 days 17 hours ago
3 days 16 hours ago
4 days 10 hours ago
4 days 19 hours ago
6 days 15 hours ago
6 days 21 hours ago
1 week 7 hours ago
1 week 8 hours ago
1 week 3 days ago