Boolean restriction categories and taut monads (Q2503320): Difference between revisions

@@ 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.tcs.2006.02.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2074491733
@@ Property / OpenAlex ID: W2074491733 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3767474
@@ Property / cites work: Q3767474 / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Partiality, cartesian closedness, and toposes
@@ Property / cites work: Partiality, cartesian closedness, and toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Dominical categories: recursion theory without elements
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Every Standard Construction is Induced by a Pair of Adjoint Functors
+Normal rank
@@ Property / cites work @@
+Q3897035
@@ Property / cites work: Q3897035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537454
@@ Property / cites work: Q4537454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677755
@@ Property / cites work: Q3677755 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Transformer Semantics
@@ Property / cites work: Predicate Transformer Semantics / 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 @@
+Taut monads and \(T0\)-spaces.
@@ Property / cites work: Taut monads and \(T0\)-spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4668854
@@ Property / cites work: Q4668854 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded and banded semigroups.
@@ Property / cites work: Guarded and banded semigroups. / rank @@
+Normal rank
@@ Property / cites work @@
+Partial morphisms in categories of effective objects
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Monads and algebras in the semantics of partial data types
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank