Nuprl Definition : msg-interface-hdf
This is the type of a local program for a main class in EventML.
msg-interface-hdf(f) == hdataflow(Message(f);ℤ × Id × Message(f))
Definitions occuring in Statement :
Message: Message(f),
Id: Id,
product: x:A × B[x],
int: ℤ,
hdataflow: hdataflow(A;B)
FDL editor aliases :
msg-interface-hdf
Latex:
msg-interface-hdf(f) == hdataflow(Message(f);\mBbbZ{} \mtimes{} Id \mtimes{} Message(f))
Date html generated:
2015_07_22-PM-00_00_04
Last ObjectModification:
2014_07_14-AM-00_51_46
Home
Index