Unitary Theories, Unitary Categories (Q3178243): Difference between revisions

@@ Property / author @@
+Pieter J. W. Hofstra
@@ Property / author: Pieter J. W. Hofstra / rank @@
+Normal rank
@@ Property / author @@
+J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2010.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2011841843
@@ Property / OpenAlex ID: W2011841843 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138859
@@ Property / cites work: Q3138859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411949
@@ Property / cites work: Q3411949 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Turing categories
@@ Property / cites work: Introduction to Turing categories / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
+Normal rank
@@ Property / cites work @@
+Partiality, cartesian closedness, and toposes
@@ Property / cites work: Partiality, cartesian closedness, and toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010354
@@ Property / cites work: Q4010354 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial morphisms in categories of effective objects
+Normal rank
@@ Property / cites work @@
+Partial Horn logic and Cartesian categories
@@ Property / cites work: Partial Horn logic and Cartesian categories / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying categories for partial equational logic
+Normal rank
@@ Property / cites work @@
+Q3208629
@@ Property / cites work: Q3208629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank