Nuprl Definition : encodes-msg-type
hdr encodes T == (f hdr) ⊆r T
Definitions occuring in Statement :
subtype_rel: A ⊆r B,
apply: f a
FDL editor aliases :
encodes-msg-type
Latex:
hdr encodes T == (f hdr) \msubseteq{}r T
Date html generated:
2016_05_17-AM-08_51_46
Last ObjectModification:
2013_02_16-AM-00_31_49
Theory : messages
Home
Index