Nuprl Definition : C_TYPE
C_TYPE() == {p:C_TYPEco()| (C_TYPEco_size(p))↓}
Definitions occuring in Statement :
C_TYPEco_size: C_TYPEco_size(p),
C_TYPEco: C_TYPEco(),
has-value: (a)↓,
set: {x:A| B[x]}
FDL editor aliases :
C_TYPE
Latex:
C\_TYPE() == \{p:C\_TYPEco()| (C\_TYPEco\_size(p))\mdownarrow{}\}
Date html generated:
2016_05_16-AM-08_44_23
Last ObjectModification:
2014_06_02-PM-05_24_56
Theory : C-semantics
Home
Index