scientific article; zbMATH DE number 431760
From MaRDI portal
Publication:3138536
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; zbMATH DE number 4137754
Cited in
(21)- Full intuitionistic linear logic
- A monadic approach to polycategories
- Coherence for star-autonomous categories
- Proof theory in the abstract
- scientific article; zbMATH DE number 1231543 (Why is no real title available?)
- Type similarity for the Lambek-Grishin calculus revisited
- Dendriform algebras relative to a semigroup
- May I borrow your logic? (Transporting logical structures along maps)
- Dwyer-Kan homotopy theory for cyclic operads
- Holomorphic models of exponential types in linear logic
- Linear logic, coherence and dinaturality
- Natural deduction and coherence for weakly distributive categories
- Feedback for linearly distributive categories: Traces and fixpoints
- Continuation semantics for the Lambek-Grishin calculus
- \(*\)-autonomous categories of bimodules
- Constructing process categories
- Experiments in linear natural deduction
- Weakly distributive categories
- Linearly distributive functors
- Linear Läuchli semantics
- scientific article; zbMATH DE number 5526292 (Why is no real title available?)
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)
