Talk:Ωmega

relation to CoC
As Calculus of Constructions also permits "calculations on the level of types", the relation to CoC (or Barendregt's lambda cube) is not clear. --Beroal (talk) 10:48, 21 December 2010 (UTC)