Nuprl Definition : es-tags-dt
dt(l;tgs;da) == mk_fpf(tgs;λtg.da(rcv(l,tg))?Void)
Definitions occuring in Statement :
mk_fpf: mk_fpf(L;f),
fpf-cap: f(x)?z,
Kind-deq: KindDeq,
rcv: rcv(l,tg),
lambda: λx.A[x],
void: Void
FDL editor aliases :
es-tags-dt
dt(l;tgs;da) == mk\_fpf(tgs;\mlambda{}tg.da(rcv(l,tg))?Void)
Date html generated:
2015_07_17-AM-11_17_37
Last ObjectModification:
2012_02_25-AM-11_15_10
Home
Index