Nuprl Definition : C_LVALUE
C_LVALUE() == {p:C_LVALUEco()| (C_LVALUEco_size(p))↓}
Definitions occuring in Statement :
C_LVALUEco_size: C_LVALUEco_size(p),
C_LVALUEco: C_LVALUEco(),
has-value: (a)↓,
set: {x:A| B[x]}
FDL editor aliases :
C_LVALUE
Latex:
C\_LVALUE() == \{p:C\_LVALUEco()| (C\_LVALUEco\_size(p))\mdownarrow{}\}
Date html generated:
2016_05_16-AM-08_46_38
Last ObjectModification:
2014_05_05-PM-02_51_37
Theory : C-semantics
Home
Index