The Sequent Calculus of Skew Monoidal Categories - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Dates et versions

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

Identifiants

Citer

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger. The Sequent Calculus of Skew Monoidal Categories. Proc. of 34th Conf. on Mathematical Foundations of Programming Semantics, MFPS XXXIV, Jun 2018, Halifax, Canada. pp.345-370, ⟨10.1016/j.entcs.2018.11.017⟩. ⟨hal-03031126⟩
26 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More