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
Latex:
dt(l;tgs;da) == mk\_fpf(tgs;\mlambda{}tg.da(rcv(l,tg))?Void)
Date html generated:
2016_05_16-AM-11_39_05
Last ObjectModification:
2012_02_25-AM-11_15_10
Theory : event-ordering
Home
Index