Coherence for modalities (Q531368): Difference between revisions

@@ Property / DOI @@
-.1016/j.jpaa.2010.09.014
@@ Property / DOI: 10.1016/j.jpaa.2010.09.014 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2070357732
@@ Property / OpenAlex ID: W2070357732 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2494
@@ Property / arXiv ID: 0809.2494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138878
@@ Property / cites work: Q4138878 / rank @@
+Normal rank
@@ Property / cites work @@
+Category Theory
@@ Property / cites work: Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional word problems with applications to equational logic
+Normal rank
@@ Property / cites work @@
+Cartesian bicategories. I
@@ Property / cites work: Cartesian bicategories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241233
@@ Property / cites work: Q3241233 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination in categories
@@ Property / cites work: Cut elimination in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial Endomorphisms
@@ Property / cites work: Simplicial Endomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Generality of proofs and its Brauerian representation
+Normal rank
@@ Property / cites work @@
+A Brauerian representation of split preorders
@@ Property / cites work: A Brauerian representation of split preorders / rank @@
+Normal rank
@@ Property / cites work @@
+Self-adjunctions and matrices.
@@ Property / cites work: Self-adjunctions and matrices. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3376920
@@ Property / cites work: Q3376920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411254
@@ Property / cites work: Q5411254 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality of proofs for linear equality
@@ Property / cites work: Equality of proofs for linear equality / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in linear predicate logic
@@ Property / cites work: Coherence in linear predicate logic / rank @@
+Normal rank
@@ Property / cites work @@
+Seminar on triples and categorical homology theory ETH 1966/67
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247612
@@ Property / cites work: Q3247612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709340
@@ Property / cites work: Q2709340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156500
@@ Property / cites work: Q3156500 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an algebraic theory of Boolean circuits.
@@ Property / cites work: Towards an algebraic theory of Boolean circuits. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549833
@@ Property / cites work: Q5549833 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168590
@@ Property / cites work: Q4168590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655527
@@ Property / cites work: Q5655527 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Minimality of the system of seven equations for the category of finite sets
+Normal rank
@@ Property / cites work @@
+Eine Bemerkung über Monaden und adjungierte Funktoren
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
+Normal rank
@@ Property / DOI @@
+.1016/J.JPAA.2010.09.014
@@ Property / DOI: 10.1016/J.JPAA.2010.09.014 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:531368