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 : jeudi 1 août 2024-17:08:02
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
58
Consultations
0
Téléchargements