Jump to content

Talk:Ωmega

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

relation to CoC

[edit]

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)[reply]