Alphabet
f
:
[a → a] ⟶ b
g
:
[a → a] ⟶ a → a
Variables
F
:
a → a
Y
:
a
G
:
a → a
Rules
g
(
F
) ·
Y
⇒
Y
f
(
G
)
⇒
f
(
g
(
G
))