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