Logical rules as fractions and logics as sketches (Q2198320): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3046800223
@@ Property / OpenAlex ID: W3046800223 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01620
@@ Property / arXiv ID: 1807.01620 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic specifications
@@ Property / cites work: Diagrammatic specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic logic applied to a parameterisation process
+Normal rank
@@ Property / cites work @@
+A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW
+Normal rank
@@ Property / cites work @@
+Category localization semantics for specification refinements
+Normal rank
@@ Property / cites work @@
+Cartesian effect categories are Freyd-categories
@@ Property / cites work: Cartesian effect categories are Freyd-categories / rank @@
+Normal rank
@@ Property / cites work @@
+A duality between exceptions and states
@@ Property / cites work: A duality between exceptions and states / rank @@
+Normal rank
@@ Property / cites work @@
+Q5580926
@@ Property / cites work: Q5580926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592283
@@ Property / cites work: Q5592283 / rank @@
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2198320