Nuprl Definition : ma-tstate
timedState(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],
rationals: ℚ
FDL editor aliases :
ma-tstate
timedState(ds) == x:Id {}\mrightarrow{} \mBbbQ{} {}\mrightarrow{} ds(x)?Top
Date html generated:
2015_07_17-AM-11_17_21
Last ObjectModification:
2012_02_25-AM-11_14_59
Home
Index