Modelling environments in call-by-value programming languages. (Q1427853): Difference between revisions

@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for computation in context and unified logic
+Normal rank
@@ Property / cites work @@
+Decomposing typed lambda calculus into a couple of categorical programming languages
+Normal rank
@@ Property / cites work @@
+Q3491793
@@ Property / cites work: Q3491793 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / 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 @@
+Premonoidal categories as categories with algebraic structure
+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 @@
+Q4364395
@@ Property / cites work: Q4364395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938649
@@ Property / cites work: Q4938649 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on algebra: Monadicity and generalisations of equational theories
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank