λ-calcul Exercice

S → SN SV 0 - Université Paris Diderot

 :B > _@ : @ >B  :  B >@ :
; ? >  MB >@ 
>
: ; a9

B >> D H :
;
; a
 @ 9B 
? @a_m 
 :B_