Nuprl Definition : dataflow-equiv
d1 ≡ d2 == ∀as:A List. (data-stream(d1;as) = data-stream(d2;as) ∈ (B List))
Definitions occuring in Statement :
data-stream: data-stream(P;L),
list: T List,
all: ∀x:A. B[x],
equal: s = t ∈ T
FDL editor aliases :
dataflow-equiv
Latex:
d1 \mequiv{} d2 == \mforall{}as:A List. (data-stream(d1;as) = data-stream(d2;as))
Date html generated:
2015_07_23-AM-11_06_25
Last ObjectModification:
2013_10_24-PM-10_59_34
Home
Index