Communication Dans Un Congrès
Année : 2018
Olivier Laurent : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01840882
Soumis le : lundi 16 juillet 2018-18:07:55
Dernière modification le : vendredi 19 avril 2024-11:24:43
Citer
Olivier Laurent. Around Classical and Intuitionistic Linear Logics. the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209132⟩. ⟨hal-01840882⟩
Collections
47
Consultations
0
Téléchargements