Observationally-induced Effects in Cartesian Closed Categories (Q3178272): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2012.08.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2043199778
@@ Property / OpenAlex ID: W2043199778 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318090
@@ Property / Wikidata QID: Q113318090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851317
@@ Property / cites work: Q2851317 / rank @@
+Normal rank
@@ Property / cites work @@
+Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions
+Normal rank
@@ Property / cites work @@
+A Convenient Category of Domains
@@ Property / cites work: A Convenient Category of Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Compactly generated domain theory
@@ Property / cites work: Compactly generated domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Quotients of countably based spaces are not closed under sobrification
+Normal rank
@@ Property / cites work @@
+Q3978973
@@ Property / cites work: Q3978973 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining algebraic effects with continuations
@@ Property / cites work: Combining algebraic effects with continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851544
@@ Property / cites work: Q2851544 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852372
@@ Property / cites work: Q2852372 / rank @@
+Normal rank
@@ Property / cites work @@
+A universal characterization of the double powerlocale
+Normal rank