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-03031087
Soumis le : lundi 30 novembre 2020-13:01:31
Dernière modification le : jeudi 1 août 2024-17:08:02
Citer
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger. Proof theory of partially normal skew monoidal categories. ACT 2020 - 3rd Applied Category Theory Conference, Jul 2020, Cambridge, MA, United States. pp.230-246, ⟨10.4204/eptcs.333.16⟩. ⟨hal-03031087⟩
Collections
52
Consultations
0
Téléchargements