Nuprl Definition : hdf-out

hdf-out(P;x) ==  snd(P(x))


Definitions occuring in Statement :  hdf-ap: X(a),  pi2: snd(t)
FDL editor aliases :  hdf-out
Latex:
hdf-out(P;x)  ==    snd(P(x))


Date html generated: 2016_05_16-AM-10_38_14
Last ObjectModification: 2012_11_23-PM-02_09_14

Theory : halting!dataflow


Home Index