GenAutomata
Sections
NuprlLIB
Doc
Def
Case ts_pvar(x) = > body(x) cont(x1,z) == (
x1.inr(x2) = > (
x1.inl(x2) = > body(hd([x2 / tl(x1)])) cont(hd(x1),z))([x2 / tl(x1)]) cont(hd(x1),z))([x1])
is mentioned
In prior sections:
mb
automata
1
GenAutomata
Sections
NuprlLIB
Doc
x1.inr(x2) = > (x1.inl(x2) = > body(hd([x2 / tl(x1)])) cont(hd(x1),z))([x2 / tl(x1)]) cont(hd(x1),z))([x1])