The sequent calculus of skew monoidal categories (extended version) - Archive ouverte HAL
Chapitre D'ouvrage Année : 2020

The sequent calculus of skew monoidal categories (extended version)

Domaines

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

Noam Zeilberger  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03031139

Soumis le : lundi 30 novembre 2020-13:17:46

Dernière modification le : lundi 4 novembre 2024-15:50:04

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⟩

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
61 Consultations
0 Téléchargements

Partager

More