Nuprl Definition : hdf-prior
hdf-prior(X;b) == hdf-buffer((λx,y. {x}) o X;b)
Definitions occuring in Statement :
hdf-buffer: hdf-buffer(X;bs),
hdf-compose1: f o X,
lambda: λx.A[x],
single-bag: {x}
FDL editor aliases :
hdf-prior
Latex:
hdf-prior(X;b) == hdf-buffer((\mlambda{}x,y. \{x\}) o X;b)
Date html generated:
2016_05_16-AM-10_41_25
Last ObjectModification:
2012_11_23-PM-02_09_52
Theory : halting!dataflow
Home
Index