B.Guillaume : un calcul de substitutions avec étiquettes guillaume.ps
G. Mounier : un
lambda calcul intuitioniste avec exceptions
mounier.ps
W.
Py :
Confluence en lambda mu calcul
py.pdf
Y. Bertini : La notion d'indéfini en lambda calcul bertini.pdf
P. Thévenon : Vers un assistant à la preuve en langue naturelle thevenon.pdf
P Battyanyi : Normalization properties of
symmetric logical calculi battyanyi.pdf