Condition/decision duality and the internal logic of extensive restriction categories (Q2133172): Difference between revisions

@@ Property / Wikidata QID @@
+Q113317353
@@ Property / Wikidata QID: Q113317353 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2945894892
@@ Property / OpenAlex ID: W2945894892 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Software Testing
@@ Property / cites work: Introduction to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Partially additive categories and flow-diagram semantics
+Normal rank
@@ Property / cites work @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+Restriction categories III: colimits, partial limits and extensivity
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Programming With and Without go to Statements
+Normal rank
@@ Property / cites work @@
+Nonsense logics and their algebraic properties
@@ Property / cites work: Nonsense logics and their algebraic properties / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical foundation for structured reversible flowchart languages
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Join inverse categories and reversible recursion
@@ Property / cites work: Join inverse categories and reversible recursion / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
+Normal rank
@@ Property / cites work @@
+Q3864044
@@ Property / cites work: Q3864044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Stone-type representations and dualities for varieties of bisemilattices
+Normal rank
@@ Property / cites work @@
+Q3735051
@@ Property / cites work: Q3735051 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Q3725522
@@ Property / cites work: Q3725522 / rank @@
+Normal rank
@@ Property / cites work @@
+On flowchart theories. I. The deterministic case
@@ Property / cites work: On flowchart theories. I. The deterministic case / rank @@
+Normal rank
@@ Property / cites work @@
+Conversion of Unstructured Flow Diagrams to Structured Form
+Normal rank
@@ Property / cites work @@
+Fundamentals of reversible flowchart languages
@@ Property / cites work: Fundamentals of reversible flowchart languages / rank @@
+Normal rank