Bounded linear logic, revisited

DOI10.2168/LMCS-6(4:7)2010MaRDI QIDQ5894004zbMATH OpenFDO

Authors Ugo Dal Lago, Martin Hofmann

Publication date 20 December 2010

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

Full work available at URL https://doi.org/10.2168/LMCS-6(4:7)2010

zbMATH Keywords

extension of bounded linear logic

Mathematics Subject Classification ID

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

Recommendations

• Bounded Linear Logic, Revisited
• Linear logic for nets with bounded resources
• scientific article; zbMATH DE number 176206
• Bounded linear logic: A modular approach to polynomial-time computability
• Linear logic and polynomial time

Cited in

(11)

• New Curry-Howard terms for full linear logic
• Paths-based criteria and application to linear logic subsystems characterizing polynomial time
• On linear Brouwerian logics
• Matching of bounded set terms in the logic language LDL++
• Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
• scientific article; zbMATH DE number 1231523 (Why is no real title available?)
• scientific article; zbMATH DE number 1231527 (Why is no real title available?)
• scientific article; zbMATH DE number 6917940 (Why is no real title available?)
• Implicit computation complexity in higher-order programming languages
• A quantitative model for simply typed λ-calculus
• Bounded Linear Logic, Revisited

This page was built for publication: Bounded linear logic, revisited

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