scientific article; zbMATH DE number 1497809

MaRDI QIDQ4499227zbMATH OpenFDO

Authors

Publication date 4 March 2001

zbMATH Keywords

Gentzen's sequent calculustype theories

Mathematics Subject Classification ID

Logic in computer science (03B70) Foundations, relations to logic and deductive systems (18A15) Functional programming and lambda calculus (68N18)

Recommendations

• An internal language for autonomous categories
• Coherence for star-autonomous categories
• Proof-net categories
• *-Autonomous categories and linear logic

Cited in

(10)

• An internal language for autonomous categories
• Exhausting strategies, joker games and full completeness for IMLL with unit
• Relating categorical semantics for intuitionistic linear logic
• On an interpretation of safe recursion in light affine logic
• Simple free star-autonomous categories and full coherence
• GS theories: a syntax for higher-order graphs
• scientific article; zbMATH DE number 431760 (Why is no real title available?)
• On cyclic star-autonomous categories
• A practical type theory for symmetric monoidal categories
• A type theory for Cartesian closed bicategories

This page was built for publication:

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