Nuprl Definition : Comm-process-q

Comm-process-q(q;id;st) == Comm-process-q_aux(q) id st

Definitions occuring in Statement : Comm-process-q_aux: Comm-process-q_aux(q), apply: f a
FDL editor aliases : Comm-process-q

Latex:
Comm-process-q(q;id;st) == Comm-process-q\_aux(q) id st Date html generated: 2015_07_23-AM-11_58_48 Last ObjectModification: 2012_08_30-PM-01_49_29 Home Index