 | This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
| ||||||||||||||||||
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)
|
| This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
| ||||||||||||||||||
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)