Nuprl Definition : hdf-return
hdf-return(x) == hdf-run(λm.<hdf-halt(), x>)
Definitions occuring in Statement :
hdf-run: hdf-run(P),
hdf-halt: hdf-halt(),
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
hdf-return
Latex:
hdf-return(x) == hdf-run(\mlambda{}m.<hdf-halt(), x>)
Date html generated:
2016_05_16-AM-10_39_06
Last ObjectModification:
2012_11_23-PM-02_09_26
Theory : halting!dataflow
Home
Index