Nuprl Definition : es-in-port-conds

es-in-port-conds(A;l;tg) ==  rcv(l,tg) : <A, λs,v. (inl v)>


Definitions occuring in Statement :  lambda: λx.A[x],  pair: <a, b>,  inl: inl x
FDL editor aliases :  es-in-port-conds es-in-port-conds
Latex:
es-in-port-conds(A;l;tg)  ==    rcv(l,tg)  :  <A,  \mlambda{}s,v.  (inl  v)>


Date html generated: 2016_05_16-AM-10_04_41
Last ObjectModification: 2013_03_25-PM-01_54_02

Theory : new!event-ordering


Home Index