Categorifying non-idempotent intersection types

DOI10.4230/LIPICS.CSL.2021.25MaRDI QIDQ6839811zbMATH OpenFDO

Authors Giulio Guerrieri, Federico Olimpieri

Publication date 23 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

zbMATH Keywords

categorificationlinear logicrelational semanticsbicategorycombinatorial speciesdistributorssymmetric sequencesbang calculusnon-idempotent intersection types

Mathematics Subject Classification ID

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

This page was built for publication: Categorifying non-idempotent intersection types

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