Bounded Linear Logic, Revisited

DOI10.2168/LMCS-6(4:7)2010zbMath1211.03090MaRDI QIDQ5894004

Ugo Dal Lago, Martin Hofmann

Publication date: 20 December 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

extension of bounded linear logic

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (4)

Paths-based criteria and application to linear logic subsystems characterizing polynomial time ⋮ Unnamed Item ⋮ Implicit computation complexity in higher-order programming languages ⋮ A quantitative model for simply typed λ-calculus

This page was built for publication: Bounded Linear Logic, Revisited