---

{ pi-process()  Type }

{ Proof }

---

Definitions occuring in Statement :  pi-process: pi-process(),  member: t  T,  universe: Type
Definitions :  member: t  T,  pi-process: pi-process(),  so_lambda: x.t[x],  uall: [x:A]. B[x],  so_apply: x[s]
Lemmas :  Process_wf,  piM_wf

---

pi-process()  \mmember{}  Type


Date html generated: 2011_08_17-PM-06_57_46
Last ObjectModification: 2011_06_18-PM-12_36_24

Home Index