es-in-port-conds(A;l;tg) == rcv(l,tg) : <A, 
s,v.(inl v )>
Definitions :
fpf-single: x : v,
rcv: rcv(l,tg),
pair: <a, b>,
lambda: x.A[x],
inl: inl x
FDL editor aliases :
es-in-port-conds
es-in-port-conds(A;l;tg) == rcv(l,tg) : <A, \mlambda{}s,v.(inl v )>
Date html generated:
2010_08_27-AM-09_36_04
Last ObjectModification:
2009_12_16-AM-01_27_56
Home
Index