Communication Dans Un Congrès
Année : 2001
Pierre Courtieu : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02346059
Soumis le : vendredi 31 janvier 2020-13:51:48
Dernière modification le : samedi 10 février 2024-03:07:53
Archivage à long terme le : vendredi 1 mai 2020-12:28:48
Dates et versions
Identifiants
- HAL Id : hal-02346059 , version 1
Citer
Pierre Courtieu. Normalized Types. Computer Science Logic, Sep 2001, Paris, France. ⟨hal-02346059⟩
Collections
38
Consultations
13
Téléchargements