Nuprl Definition : Message
A message is a basic message together with a boolean that indicates
whether the basic message was authenticated or not.⋅
Message(f) == 𝔹 × basicMessage(f)
Definitions occuring in Statement :
basicMessage: basicMessage(f),
bool: 𝔹,
product: x:A × B[x]
FDL editor aliases :
Message
Latex:
Message(f) == \mBbbB{} \mtimes{} basicMessage(f)
Date html generated:
2016_05_17-PM-03_29_47
Last ObjectModification:
2014_07_25-PM-02_00_25
Theory : messages
Home
Index