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
hdf-prior(X;b) == hdf-buffer((\mlambda{}x,y. \{x\}) o X;b)
Date html generated:
2015_07_17-AM-08_06_13
Last ObjectModification:
2012_11_23-PM-02_09_52
Home
Index