Nuprl Definition : C_DVALUEp
C_DVALUEp() == {p:C_DVALUEpco()| (C_DVALUEpco_size(p))↓}
Definitions occuring in Statement :
C_DVALUEpco_size: C_DVALUEpco_size(p),
C_DVALUEpco: C_DVALUEpco(),
has-value: (a)↓,
set: {x:A| B[x]}
FDL editor aliases :
C_DVALUEp
Latex:
C\_DVALUEp() == \{p:C\_DVALUEpco()| (C\_DVALUEpco\_size(p))\mdownarrow{}\}
Date html generated:
2016_05_16-AM-08_48_54
Last ObjectModification:
2014_06_08-PM-03_23_39
Theory : C-semantics
Home
Index