Proceedings/Recueil Des Communications
Année : 2017
Dale Miller : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01615598
Soumis le : jeudi 12 octobre 2017-15:58:52
Dernière modification le : vendredi 24 mars 2023-14:53:05
Dates et versions
Identifiants
- HAL Id : hal-01615598 , version 1
Citer
Dale Miller. 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Dale Miller. FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction , Sep 2017, Oxford, United Kingdom. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, 978-3-95977-047-7. ⟨hal-01615598⟩
Collections
151
Consultations
0
Téléchargements