Nuprl Definition : OARcast_headers_no_inputs_types
OARcast_headers_no_inputs_types(M;deliverhdr;orderedhdr;orderhdr) ==
[<orderhdr, Id × ℤ × M>; <orderedhdr, Id × Id × ℤ × M>; <deliverhdr, Id × ℤ × M>]
Definitions occuring in Statement :
Id: Id,
cons: [a / b],
nil: [],
pair: <a, b>,
product: x:A × B[x],
int: ℤ
FDL editor aliases :
OARcast_headers_no_inputs_types
Latex:
OARcast\_headers\_no\_inputs\_types(M;deliverhdr;orderedhdr;orderhdr) ==
[<orderhdr, Id \mtimes{} \mBbbZ{} \mtimes{} M> <orderedhdr, Id \mtimes{} Id \mtimes{} \mBbbZ{} \mtimes{} M> <deliverhdr, Id \mtimes{} \mBbbZ{} \mtimes{} M>]
Date html generated:
2015_07_23-PM-00_35_55
Last ObjectModification:
2014_08_20-PM-00_10_26
Home
Index