Chapitre D'ouvrage
Année : 1999
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03210285
Soumis le : mardi 27 avril 2021-20:50:38
Dernière modification le : dimanche 26 juin 2022-04:21:26
Citer
Jean Goubault-Larrecq. Conjunctive Types and SKInT. Selected Papers from the International Workshop on Types for Proofs and Programs (TYPES'98), 1657, Springer, pp.106-120, 1999, Lecture Notes in Computer Science, ⟨10.1007/3-540-48167-2_8⟩. ⟨hal-03210285⟩
Collections
15
Consultations
0
Téléchargements