Talk:Lambda cube

From Wikipedia, the free encyclopedia

This article would benefit from a diagram of the lambda-cube. --Malcohol 10:45, 25 May 2007 (UTC)

[edit] Confusing

The article first lists three kinds of type systems (terms-types, types-types, types-terms), but then mentions twice the "eight calculi", and not three. --Gwern (contribs) 22:17 28 January 2008 (GMT)