Alphabet
0
:
N
rec
:
(N → (N → B) → N → B) → B → N → B
Variables
F
:
N → (N → B) → N → B
Z
:
N → B
Rules
rec
·
F
· (
Z
·
0
)
⇒
Z