Nuprl Definition : msg-body-cmp

msg-body-cmp(mcmp) ==  λm1,m2. (mcmp msg-header(m1) msg-body(m1) msg-body(m2))


Definitions occuring in Statement :  msg-body: msg-body(msg),  msg-header: msg-header(m),  apply: f a,  lambda: λx.A[x]
FDL editor aliases :  msg-body-cmp
Latex:
msg-body-cmp(mcmp)  ==    \mlambda{}m1,m2.  (mcmp  msg-header(m1)  msg-body(m1)  msg-body(m2))


Date html generated: 2015_07_22-PM-00_01_03
Last ObjectModification: 2014_07_25-PM-05_00_14

Home Index