Nuprl Definition : mdata-class

mdata-class(f;hdr) ==  λes,e. get-mdata(f;info(e);hdr)


Definitions occuring in Statement :  get-mdata: get-mdata(f;msg;hdr),  es-info: info(e),  lambda: λx.A[x]
FDL editor aliases :  mdata-class
Latex:
mdata-class(f;hdr)  ==    \mlambda{}es,e.  get-mdata(f;info(e);hdr)


Date html generated: 2016_05_17-AM-08_52_00
Last ObjectModification: 2013_02_27-PM-01_36_20

Theory : messages


Home Index