Quelques exemples II
des axiomes:
P
:
ty
des règles d'inférence
P
1
:
ty
1
P
n
:
ty
n
C
(
P
1
,...,
P
n
):
ty
typer = construire un arbre où les feuilles sont des axiomes et les noeuds, des règles d'inférence
·
·
·
P
1
:
ty
1
·
·
·
P
n
:
ty
n
C
(
P
1
,...,
P
n
):
ty
