Alphabet
comp
:
[a → a × a → a] ⟶ a → a
twice
:
[a → a] ⟶ a → a
Variables
F
:
a → a
Z
:
a → a
U
:
a
H
:
a → a
Rules
comp
(
F
,
Z
) ·
U
⇒
F
· (
Z
·
U
)
twice
(
H
)
⇒
comp
(
H
,
H
)