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