Proof Theory of Partially Normal Skew Monoidal Categories

Bibliographische Detailangaben

Hauptverfasser:	Uustalu, Tarmo, Veltri, Niccolò, Zeilberger, Noam
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Category Theory Computer Science Logic in Computer Science Mathematics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!