Coherence by normalization for linear multicategorical structures

DOI10.4230/LIPICS.CSL.2024.43MaRDI QIDQ6856008zbMATH OpenFDO

Authors Federico Olimpieri

Publication date 19 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

coherencenormalizationresource calculilinear multicategories

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: Coherence by normalization for linear multicategorical structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856008)