An internal language for autonomous categories

DOI10.1007/BF00873993MaRDI QIDQ1320337zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ian Mackie, Leopoldo Román, Samson Abramsky

Publication date 16 February 1995

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00873993

zbMATH Keywords

coherenceinternal languagesymmetric monoidal closed categoriesautonomous categoryinternal recursion theorymultiplicative fragment of intuitionistic linear logicterm assignment languageweak natural numbers object

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• scientific article; zbMATH DE number 1497809
• scientific article; zbMATH DE number 1070654
• Proof-net categories
• scientific article; zbMATH DE number 860038
• *-Autonomous categories and linear logic

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4010480 (Why is no real title available?)
• scientific article; zbMATH DE number 4071154 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 177812 (Why is no real title available?)
• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• A note on natural numbers objects in monoidal categories
• An internal language for autonomous categories
• Cartesian categories with natural numbers object
• Coherence in closed categories
• Computational interpretations of linear logic
• Languages for monoidal categories
• Linear logic
• Linear logic, coherence and dinaturality
• Monoidal categories with natural numbers object
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Why commutative diagrams coincide with equivalent proofs

Cited in

(18)

• A note on natural numbers objects in monoidal categories
• scientific article; zbMATH DE number 860038 (Why is no real title available?)
• Natural number objects in Dialectica categories
• Relating categorical semantics for intuitionistic linear logic
• The power of closed reduction strategies
• An internal language for autonomous categories
• The syntactic side of autonomous categories enriched over generalised metric spaces
• Gödel's system T revisited
• Logical systems. I: Internal calculi.
• Partial recursive functions and finality
• The logic of message-passing
• GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs
• Strong typed Böhm theorem and functional completeness on the linear lambda calculus
• Internal diagrams and archetypal reasoning in category theory
• Lilac: a functional programming language based on linear logic
• Aspects of categorical recursion theory
• Covert movement in logical grammar
• Linearity and iterator types for Gödel's system \(\mathcal T\)

Describes a project that uses

Uses Software

• Lilac

This page was built for publication: An internal language for autonomous categories

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