Nuprl Definition : base-headers-msg-val

Base(hdr) ==  λes,e. cond-msg-body(hdr;info(e))



Definitions occuring in Statement :  cond-msg-body: cond-msg-body(hdr;msg) es-info: info(e) lambda: λx.A[x]
FDL editor aliases :  base-headers-msg-val

Latex:
Base(hdr)  ==    \mlambda{}es,e.  cond-msg-body(hdr;info(e))



Date html generated: 2016_05_17-AM-08_52_18
Last ObjectModification: 2013_02_16-AM-00_43_49

Theory : messages


Home Index