IMELL cut elimination with linear overhead

DOI10.4230/LIPICS.FSCD.2024.24MaRDI QIDQ6874986zbMATH OpenFDO

Authors Beniamino Accattoli, Claudio Sacerdoti Coen

Publication date 14 January 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

linear logiclambda calculusabstract machines

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: IMELL cut elimination with linear overhead

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