19th International Conference on Types for Proofs and Programs (TYPES 2013), Toulouse, 22/04/2013 - 26/04/2013
Résumé
no abstract
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03252259
Soumis le : lundi 7 juin 2021-15:55:06
Dernière modification le : lundi 20 novembre 2023-11:44:22