Categories for computation in context and unified logic

DOI10.1016/S0022-4049(96)00162-4zbMath0879.03021MaRDI QIDQ678833

R. A. G. Seely, J. Robin B. Cockett, Richard F. Blute

Publication date: 12 January 1998

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

zbMATH Keywords

fibrationslinear logiccut-eliminationcategorical proof theorylinearly distributive categoriescontext categoryframework for computations in contextGirard's unified logictensorial strengthweakly distributive categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Actions of a monoidal category, tensorial strength (18D25)

Related Items (4)

Higher-order Algebras and Coalgebras from Parameterized Endofunctors ⋮ Skew-monoidal categories and bialgebroids. ⋮ Modelling environments in call-by-value programming languages. ⋮ Aspects of Categorical Recursion Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weakly distributive categories
• On the unity of logic
• Linear logic, coherence and dinaturality
• Monoidal categories with natural numbers object
• Generalized algebraic theories and contextual categories
• Natural deduction and coherence for weakly distributive categories
• Categorical logic of names and abstraction in action calculi
• ! and ? – Storage as tensorial strength

This page was built for publication: Categories for computation in context and unified logic