19th International Conference on Types for Proofs and Programs (TYPES 2013), Toulouse, 22/04/2013 - 26/04/2013 - Archive ouverte HAL Accéder directement au contenu
N°Spécial De Revue/Special Issue Leibniz International Proceedings in Informatics Année : 2014

19th International Conference on Types for Proofs and Programs (TYPES 2013), Toulouse, 22/04/2013 - 26/04/2013

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-03252259 , version 1 (07-06-2021)

Licence

Identifiants

  • HAL Id : hal-03252259 , version 1

Citer

Ralph Matthes, Aleksy Schubert. 19th International Conference on Types for Proofs and Programs (TYPES 2013), Toulouse, 22/04/2013 - 26/04/2013. Matthes, Ralph; Schubert, Aleksy. 19th International Conference on Types for Proofs and Programs (TYPES 2013), Apr 2013, Toulouse, France. Leibniz International Proceedings in Informatics , 26, 2014, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-939897-72-9. ⟨hal-03252259⟩
31 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More