scientific article; zbMATH DE number 431760
From MaRDI portal
Publication:3138536
zbMATH Open0790.18004MaRDI QIDQ3138536FDOQ3138536
Authors: R. A. G. Seely, J. R. B. Cockett 
Publication date: 26 June 1994
Title of this publication is not available (Why is that?)
Recommendations
- Alpha conversion, conditions on variables and categorical logic
- scientific article; zbMATH DE number 4122189
- Categories for computation in context and unified logic
- A tale of four grammars
- scientific article; zbMATH DE number 1497809
- scientific article; zbMATH DE number 1863382
- Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
- scientific article; zbMATH DE number 4027427
- On some connections between logic and category theory
- scientific article
Cited In (21)
- Constructing process categories
- Experiments in linear natural deduction
- A monadic approach to polycategories
- May I borrow your logic? (Transporting logical structures along maps)
- Dwyer–Kan homotopy theory for cyclic operads
- Continuation semantics for the Lambek-Grishin calculus
- Weakly distributive categories
- Feedback for linearly distributive categories: Traces and fixpoints
- Linear Läuchli semantics
- Proof theory in the abstract
- Title not available (Why is that?)
- Title not available (Why is that?)
- Full intuitionistic linear logic
- Holomorphic models of exponential types in linear logic
- Coherence for star-autonomous categories
- \(*\)-autonomous categories of bimodules
- Dendriform algebras relative to a semigroup
- Type Similarity for the Lambek-Grishin Calculus Revisited
- Natural deduction and coherence for weakly distributive categories
- Linearly distributive functors
- Linear logic, coherence and dinaturality
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 Q3138536)
