Communication Dans Un Congrès
Electronic Proceedings in Theoretical Computer Science
Année : 2021
Noam Zeilberger : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03031107
Soumis le : lundi 30 novembre 2020-13:08:14
Dernière modification le : mardi 16 avril 2024-10:44:15
Citer
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger. Deductive systems and coherence for skew prounital closed categories. LFMTP 2020 - 15th International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, Jun 2020, Paris, France. pp.35-53, ⟨10.4204/eptcs.332.3⟩. ⟨hal-03031107⟩
Collections
55
Consultations
0
Téléchargements