Nuprl Definition : ma-state
State(ds) == x:Id ⟶ ds(x)?Top
Definitions occuring in Statement :
fpf-cap: f(x)?z,
id-deq: IdDeq,
Id: Id,
top: Top,
function: x:A ⟶ B[x]
FDL editor aliases :
ma-state
s-state
Latex:
State(ds) == x:Id {}\mrightarrow{} ds(x)?Top
Date html generated:
2016_05_16-AM-11_38_12
Last ObjectModification:
2012_02_25-AM-11_14_55
Theory : event-ordering
Home
Index