Boolean and classical restriction categories (Q3625678): Difference between revisions

@@ Property / author @@
-J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / 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 / cites work @@
+The algebra of functions. II
@@ Property / cites work: The algebra of functions. II / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Étale groupoids and their quantales
@@ Property / cites work: Étale groupoids and their quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Monads and algebras in the semantics of partial data types
+Normal rank
@@ Property / cites work @@
+Cohesive categories and manifolds
@@ Property / cites work: Cohesive categories and manifolds / rank @@
+Normal rank
@@ Property / cites work @@
+Dominical categories: recursion theory without elements
+Normal rank
@@ Property / cites work @@
+A CLASS OF RIGHT <i>PP</i> MONOIDS
@@ Property / cites work: A CLASS OF RIGHT <i>PP</i> MONOIDS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411949
@@ Property / cites work: Q3411949 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-locally compact coreflection of a stably locally compact locale
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Boolean restriction categories and taut monads
@@ Property / cites work: Boolean restriction categories and taut monads / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded and banded semigroups.
@@ Property / cites work: Guarded and banded semigroups. / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Transformer Semantics
@@ Property / cites work: Predicate Transformer Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Taut monads and \(T0\)-spaces.
@@ Property / cites work: Taut monads and \(T0\)-spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing collection classes with monads
@@ Property / cites work: Implementing collection classes with monads / rank @@
+Normal rank
@@ Property / cites work @@
+An invitation to \(C\)-semigroups
@@ Property / cites work: An invitation to \(C\)-semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Function systems
@@ Property / cites work: Function systems / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras and function semigroups
@@ Property / cites work: Relation algebras and function semigroups / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3625678