Communication Dans Un Congrès
Année : 1998
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03211080
Soumis le : mercredi 28 avril 2021-14:12:08
Dernière modification le : dimanche 26 juin 2022-04:21:26
Citer
Jean Goubault-Larrecq. A proof of weak termination of typed λσ-calculi. International Workshop on Types for Proofs and Programs (TYPES'96), 1998, Aussois, France. pp.134-153, ⟨10.1007/BFb0097790⟩. ⟨hal-03211080⟩
Collections
18
Consultations
0
Téléchargements