The sequent calculus of skew monoidal categories (extended version) - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2020
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03031139 , version 1

Citer

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger. The sequent calculus of skew monoidal categories (extended version). C. Casadio; P. J. Scott. Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, Springer, In press, Outstanding Contributions to Logic. ⟨hal-03031139⟩
52 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More