Preuve de confluence de $\lambda_{exn}$
Résumé
N.A.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098334
Soumis le : lundi 25 septembre 2006-15:36:08
Dernière modification le : jeudi 15 février 2024-03:31:15