Proof theory of partially normal skew monoidal categories - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Electronic Proceedings in Theoretical Computer Science Année : 2021

Proof theory of partially normal skew monoidal categories

Domaines

Logique en informatique [cs.LO] Catégories et ensembles [math.CT]

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 : lundi 8 avril 2024-13:27:33

Consulter le texte intégral

Dates et versions

hal-03031087 , version 1 (30-11-2020)

Identifiants

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 IP_PARIS GS-COMPUTER-SCIENCE
49 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More