Talk:Typed lambda calculus

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Stub Class	Mid Priority	Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Needs some structure, and a reference. Geometry guy 15:41, 22 May 2007 (UTC)

We should definitely discuss Barendregt's lambda cube, Girard's System F and Coquand's Calculus of Constructions, but I feel lazy today. David.Monniaux 14:52, 6 Apr 2004 (UTC)

[edit] Rewrite

I am sorry but the previous version of this article was, eh, not very good, and hence I have rewritten it. I am happy to discuss why I have binned various paragraphs, but I do believe that I know a few things about typed lambda calculi. If I have time I'd like to expand this a bit and add a few more related articles. --Thorsten 22:42, 29 May 2005 (UTC)

[edit] Improve article

I notice that this article is marked as unclear and containing too much jargon. However, this seems a bit unspecific and as far as I can see most of the "jargon" refers to other pages where the appropriate terms are explained. Hence, some advice which parts of this article are offensive would be helpful.--Thorsten (talk) 21:49, 2 March 2008 (UTC)