Communication Dans Un Congrès
Année : 2018
Noam Zeilberger : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03031126
Soumis le : lundi 30 novembre 2020-13:13:08
Dernière modification le : lundi 4 novembre 2024-15:50:04
Dates et versions
Identifiants
- HAL Id : hal-03031126 , version 1
- ARXIV : 2003.05213
- DOI : 10.1016/j.entcs.2018.11.017
Citer
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger. The Sequent Calculus of Skew Monoidal Categories. Proc. of 34th Conf. on Mathematical Foundations of Programming Semantics, MFPS XXXIV, Jun 2018, Halifax, Canada. pp.345-370, ⟨10.1016/j.entcs.2018.11.017⟩. ⟨hal-03031126⟩
Collections
30
Consultations
0
Téléchargements