Nuprl Definition : hdf-comb3
hdf-comb3(f;X;Y;Z) == f o X o Y o Z
Definitions occuring in Statement :
hdf-compose3: X o Y,
hdf-compose2: X o Y,
hdf-compose1: f o X
FDL editor aliases :
hdf-comb3
Latex:
hdf-comb3(f;X;Y;Z) == f o X o Y o Z
Date html generated:
2016_05_16-AM-10_40_50
Last ObjectModification:
2012_11_23-PM-02_09_48
Theory : halting!dataflow
Home
Index