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
es-in-port-conds(A;l;tg) == rcv(l,tg) : <A, \mlambda{}s,v. (inl v)>
Date html generated:
2015_07_17-AM-08_57_38
Last ObjectModification:
2013_03_25-PM-01_54_02
Home
Index