coherencepolymorphismmultiplicative linear logicproof-netsclosed categoriesdinaturalityEilenberg-Kelly-Mac Lane graphsgraph of natural transformation
Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Natural morphisms, dinatural morphisms (18A23)
Recommendations
Cites work
- scientific article; zbMATH DE number 431760 (Why is no real title available?)
- scientific article; zbMATH DE number 4180771 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 4055576 (Why is no real title available?)
- scientific article; zbMATH DE number 4091500 (Why is no real title available?)
- scientific article; zbMATH DE number 4103051 (Why is no real title available?)
- scientific article; zbMATH DE number 125886 (Why is no real title available?)
- scientific article; zbMATH DE number 517045 (Why is no real title available?)
- scientific article; zbMATH DE number 3993540 (Why is no real title available?)
- scientific article; zbMATH DE number 4122189 (Why is no real title available?)
- scientific article; zbMATH DE number 3316072 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3384258 (Why is no real title available?)
- A generalization of the functorial calculus
- Closed categories and the theory of proofs
- Coherence for compact closed categories
- Coherence in closed categories
- Dinatural transformations
- From Petri nets to linear logic
- Functorial polymorphism
- Languages for monoidal categories
- Linear logic
- Linear logic, coherence and dinaturality
- Natural deduction and coherence for weakly distributive categories
- On natural transformations of distinguished functors and their superpositions in certain closed categories
- Polycategories
- The geometry of tensor calculus. I
- The structure of free closed categories
- The structure of multiplicatives
- The system \({\mathcal F}\) of variable types, fifteen years later
Cited in
(44)- On Compositionality of Dinatural Transformations
- On stability of exactness properties under the pro-completion
- Specification structures and propositions-as-types for concurrency
- G-dinaturality.
- Applications of methods of proof theory in category theory.
- Equality of proofs for linear equality
- Coherence in linear predicate logic
- A specification structure for deadlock-freedom of synchronous processes
- Coherence in SMCCs and equivalences on derivations in IMML with unit
- Linear Läuchli semantics
- A categorical reduction system for linear logic
- Non-crossing tree realizations of ordered degree sequences
- Proof nets and semi-star-autonomous categories
- Coherence of proof-net categories
- Composing dinatural transformations: towards a calculus of substitution
- scientific article; zbMATH DE number 431763 (Why is no real title available?)
- An internal language for autonomous categories
- On linear Brouwerian logics
- scientific article; zbMATH DE number 2134910 (Why is no real title available?)
- Categories for computation in context and unified logic
- On the \(\pi\)-calculus and linear logic
- Holomorphic models of exponential types in linear logic
- Softness of hypercoherences and MALL full completeness
- Coherence for star-autonomous categories
- Proof nets, coends and the Yoneda isomorphism
- \(*\)-autonomous categories of bimodules
- scientific article; zbMATH DE number 786488 (Why is no real title available?)
- Monoidal streams for dataflow programming
- Some Syntactical Observations on Linear Logic
- Games and full completeness for multiplicative linear logic
- \(\ast\)-autonomous envelopes and conservativity
- Hopf algebras and linear logic
- Simple free star-autonomous categories and full coherence
- ! and ? – Storage as tensorial strength
- Acyclicity and Coherence in Multiplicative Exponential Linear Logic
- Natural deduction and coherence for weakly distributive categories
- scientific article; zbMATH DE number 720881 (Why is no real title available?)
- Coherence in inquisitive first-order logic
- scientific article; zbMATH DE number 1078383 (Why is no real title available?)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
- On paradoxes in normal form
- The shuffle Hopf algebra and noncommutative full completeness
- scientific article; zbMATH DE number 517045 (Why is no real title available?)
- Linear logic, coherence and dinaturality
This page was built for publication: Linear logic, coherence and dinaturality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685406)
