Classical linear logic of implications

DOI10.1017/S0960129504004621MaRDI QIDQ4675771zbMATH OpenOpenAlexFDO

Authors Masahito Hasegawa

Publication date 6 May 2005

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129504004621

zbMATH Keywords

linear logiccomonads\(*\)-autonomous categoriesterm calculuscategory-theoretic modelsmultiplicative exponential fragment

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 1948180
• A classical linear \(\lambda\)-calculus
• scientific article; zbMATH DE number 2079022
• scientific article; zbMATH DE number 1231511
• A typed calculus based on a fragment of linear logic

Cited in

(7)

• scientific article; zbMATH DE number 1948180 (Why is no real title available?)
• LNL polycategories and doctrines of linear logic
• A linear/producer/consumer model of classical linear logic
• Light types for polynomial time computation in lambda calculus
• scientific article; zbMATH DE number 7450001 (Why is no real title available?)
• How to prove decidability of equational theories with second-order computation analyser SOL
• Linear exponential comonads without symmetry

This page was built for publication: Classical linear logic of implications

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