What is a Categorical Model of Arrows? (Q5166619): 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.entcs.2011.02.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2106805101
@@ Property / OpenAlex ID: W2106805101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851324
@@ Property / cites work: Q2851324 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+The arrow calculus
@@ Property / cites work: The arrow calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / 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 @@
+Generic models for computational effects
@@ Property / cites work: Generic models for computational effects / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938649
@@ Property / cites work: Q4938649 / rank @@
+Normal rank