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
hdf-return(x) == hdf-run(\mlambda{}m.<hdf-halt(), x>)
Date html generated:
2015_07_17-AM-08_05_18
Last ObjectModification:
2012_11_23-PM-02_09_26
Home
Index