Nuprl Definition : ci-port

ci-port(l;tg;T) ==
  mk_ci(es-decl-set-single(destination(l);⊗;rcv(l,tg) T);T;λx.let i,k,s,v x
                                                                 in if rcv(l,tg) then inl else inr ⋅  fi )



Definitions occuring in Statement :  mk_ci: mk_ci(dd;T;f) ifthenelse: if then else fi  it: lambda: λx.A[x] inr: inr  inl: inl x
FDL editor aliases :  ci-port ci-port

Latex:
ci-port(l;tg;T)  ==
    mk\_ci(es-decl-set-single(destination(l);\motimes{};rcv(l,tg)  :  T);T;\mlambda{}x.let  i,k,s,v  =  x
                                                                                                                                  in  if  k  =  rcv(l,tg)
                                                                                                                                then  inl  v
                                                                                                                                else  inr  \mcdot{} 
                                                                                                                                fi  )



Date html generated: 2016_05_16-AM-10_05_43
Last ObjectModification: 2013_03_25-PM-01_54_11

Theory : new!event-ordering


Home Index