The sup connective in IMALL: A categorical semantics

Theoretical Computer Science 2026 Open access

Read full text
Authors: Alejandro Díaz-Caro, Octavio Malherbe
DOI: 10.1016/j.tcs.2026.115845
Cited by: 4
References: 12

Fields of Study & Subjects

Logic Reasoning and Knowledge programming and type systems Advanced Algebra and Logic

Publication details

Journal / source
Theoretical Computer Science
Publisher
Elsevier BV
Volume
1072
Pages
115845–115845
Publication date
7 March 2026
Language
EN