Feedback for linearly distributive categories: Traces and fixpoints

DOI10.1016/S0022-4049(99)00180-2zbMATH Open0964.03063MaRDI QIDQ1588062FDOQ1588062

Authors: R. A. G. Seely, Richard Blute, J. R. B. Cockett 

Publication date: 9 July 2001

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Recommendations

• Feedback, trace and fixed-point semantics
• Geometry of Interaction and linear combinatory algebras
• Automata, Languages and Programming
• From coalgebraic to monoidal traces
• A categorical model for the geometry of interaction

zbMATH Keywords

linear logictraceslinearly distributive categories

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Symmetric monoidal categories (19D23)

Cites Work

• The geometry of tensor calculus. I
• Title not available (Why is that?)
• Weakly distributive categories
• Title not available (Why is that?)
• Traced monoidal categories
• Retracing some paths in process algebra
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Nuclear and trace ideals in tensored \(^*\)-categories
• Natural deduction and coherence for weakly distributive categories
• Linearly distributive functors
• Linear Läuchli semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• New foundations for the geometry of interaction
• Nuclearity in the category of complete semilattices
• Title not available (Why is that?)
• ! and ? – Storage as tensorial strength
• A characterization of the least-fixed-point operator by dinaturality
• COLOG-88. International conference on computer logic, Tallinn, USSR, December 12-16, 1988. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Machine semantics
• A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories
• The uniformity principle on traced monoidal categories
• On categorical models of classical logic and the Geometry of Interaction
• Dualizing sup-preserving endomaps of a complete lattice
• Towards a typed geometry of interaction
• Proofs as Polynomials
• Feedback, trace and fixed-point semantics
• Title not available (Why is that?)
• On traced monoidal closed categories

This page was built for publication: Feedback for linearly distributive categories: Traces and fixpoints

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