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 : lundi 29 janvier 2024-14:50:50
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