Nuprl Definition : pi-example

pi-example(x;y;z;v) ==

  pipar(pinew(x;pipar(picomm(pisend(x;z);pizero());picomm(pircv(x;y);picomm(pisend(y;x);picomm(pircv(x;y);...)))));...)

Definitions occuring in Statement : pinew: pinew(name;body), pipar: pipar(left;right), picomm: picomm(pre;body), pizero: pizero(), pircv: pircv(chan;var), pisend: pisend(chan;var)
FDL editor aliases : pi-example

Latex:
pi-example(x;y;z;v) == pipar(pinew(x;pipar(picomm(pisend(x;z);pizero());picomm(pircv(x;y);picomm(pisend(y;x);...))));...) Date html generated: 2015_07_23-AM-11_32_59 Last ObjectModification: 2012_08_30-PM-01_36_50 Home Index