Nuprl Definition : msg-has-type

msg-has-type(m;f;T) == msg-type(m;f) ⊆r T

Definitions occuring in Statement : msg-type: msg-type(msg;f), subtype_rel: A ⊆r B
FDL editor aliases : msg-has-type

Latex:
msg-has-type(m;f;T) == msg-type(m;f) \msubseteq{}r T Date html generated: 2016_05_17-AM-08_50_36 Last ObjectModification: 2013_02_14-AM-10_07_24 Theory : messages Home Index