Nuprl Definition : hdf-base
hdf-base(m.F[m]) == mk-hdf(s,m.<s, F[m]>;s.ff;⋅)
Definitions occuring in Statement :
mk-hdf: mk-hdf(s,m.G[s; m];st.H[st];s0),
bfalse: ff,
it: ⋅,
pair: <a, b>
FDL editor aliases :
hdf-base
Latex:
hdf-base(m.F[m]) == mk-hdf(s,m.<s, F[m]>s.ff;\mcdot{})
Date html generated:
2016_05_16-AM-10_38_57
Last ObjectModification:
2012_11_23-PM-02_09_25
Theory : halting!dataflow
Home
Index