Nuprl Definition : new_23_sig_headers_no_inputs_types
new_23_sig_headers_no_inputs_types(Cmd;notify) ==
  [<``new_23_sig vote``, ℤ × ℤ × Cmd × Id> <``new_23_sig retry``, ℤ × ℤ × Cmd> <``new_23_sig decided``, ℤ × Cmd> <not\000Cify, ℤ × Cmd>]
Definitions occuring in Statement : 
Id: Id
, 
cons: [a / b]
, 
nil: []
, 
pair: <a, b>
, 
product: x:A × B[x]
, 
int: ℤ
, 
token: "$token"
FDL editor aliases : 
new_23_sig_headers_no_inputs_types
Latex:
new\_23\_sig\_headers\_no\_inputs\_types(Cmd;notify)  ==
    [<``new\_23\_sig  vote``,  \mBbbZ{}  \mtimes{}  \mBbbZ{}  \mtimes{}  Cmd  \mtimes{}  Id>  <``new\_23\_sig  retry``,  \mBbbZ{}  \mtimes{}  \mBbbZ{}  \mtimes{}  Cmd>  <``new\_23\_sig  decid\000Ced``,  \mBbbZ{}  \mtimes{}  Cmd>  <notify,  \mBbbZ{}  \mtimes{}  Cmd>]
Date html generated:
2016_05_17-PM-02_08_04
Last ObjectModification:
2013_11_23-PM-09_57_01
Theory : 2!3!consensus!with!signatures
Home
Index