Communication Dans Un Congrès
Année : 2019
ambroise lafont : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02307998
Soumis le : mardi 8 octobre 2019-11:05:30
Dernière modification le : vendredi 20 décembre 2024-11:38:17
Dates et versions
Identifiants
- HAL Id : hal-02307998 , version 1
- ARXIV : 1903.00922
- DOI : 10.4230/LIPIcs.FSCD.2019.6
Citer
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi. Modular specification of monads through higher-order presentations. FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. pp.1-16, ⟨10.4230/LIPIcs.FSCD.2019.6⟩. ⟨hal-02307998⟩
Collections
95
Consultations
0
Téléchargements