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),
hdataflow: hdataflow(A;B),
Id: Id,
product: x:A × B[x],
int: ℤ
FDL editor aliases :
msg-interface-hdf
Latex:
msg-interface-hdf(f) == hdataflow(Message(f);\mBbbZ{} \mtimes{} Id \mtimes{} Message(f))
Date html generated:
2016_05_17-PM-03_30_01
Last ObjectModification:
2014_07_14-AM-00_51_46
Theory : messages
Home
Index