Linear Exponential Comonads without Symmetry (Q5014810)

From MaRDI portal

Revision as of 10:38, 27 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

scientific article; zbMATH DE number 7441267

Language	Label	Description	Also known as
English	Linear Exponential Comonads without Symmetry	scientific article; zbMATH DE number 7441267

Statements

scholarly article

0 references

Masahito Hasegawa

0 references

publication date

8 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1701.04919

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2016.6

0 references

MaRDI profile type

MaRDI publication profile

0 references

arXiv classification

cs.LO

0 references

math.CT

0 references

Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic

0 references

Non-commutative logic. I: The multiplicative fragment

0 references

Nonsymmetric \(^{\ast}\)-autonomous categories

0 references

0 references

Computer science logic. 6th workshop, CSL '92, San Miniato, Italy, September 28 -- October 2, 1992. Selected papers

0 references

0 references

A duality formalism in the spirit of Grothendieck and Verdier

0 references

Relations and non-commutative linear logic

0 references

On closed categories of functors

0 references

Proceedings of the Conference on Categorical Algebra

0 references

0 references

Typed lambda calculi and applications. 4th international conference, TLCA '99. L'Aquila, Italy, April 7--9, 1999. Proceedings

0 references

Classical linear logic of implications

0 references

A quantum double construction in Rel

0 references

Glueing and orthogonality for models of linear logic

0 references

Braided tensor categories

0 references

0 references

The linear abstract machine

0 references

Relating categorical semantics for intuitionistic linear logic

0 references

0 references

Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction'', Rio de Janeiro, Brazil, 2001

0 references

Categories in Computer Science and Logic

0 references

Tortile tensor categories

0 references

Quantum invariants of knots and 3-manifolds

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5014810

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5014810&oldid=36747363"