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:
2015_07_21-PM-04_49_06
Last ObjectModification:
2013_02_16-AM-00_31_49
Home
Index