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