Towards a Formal Theory of Graded Monads (Q2811361): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-49630-5_30
+Normal rank
@@ Property / OpenAlex ID @@
+W2339107952
@@ Property / OpenAlex ID: W2339107952 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Monads with arities and their associated theories
@@ Property / cites work: Monads with arities and their associated theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Short Introduction to Implicit Computational Complexity
+Normal rank
@@ Property / cites work @@
+Linear Dependent Types and Relative Completeness
@@ Property / cites work: Linear Dependent Types and Relative Completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary Semantics of Linear Logic and Higher-Order Model-Checking
+Normal rank
@@ Property / cites work @@
+Descent on 2-fibrations and strongly 2-regular 2-categories
+Normal rank
@@ Property / cites work @@
+Parametric effect monads and semantics of effect systems
+Normal rank
@@ Property / cites work @@
+Game Semantics in String Diagrams
@@ Property / cites work: Game Semantics in String Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Local States in String Diagrams
@@ Property / cites work: Local States in String Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics and Graded Monads.
@@ Property / cites work: Generic Trace Semantics and Graded Monads. / rank @@
+Normal rank
@@ Property / cites work @@
+Coeffects: Unified Static Analysis of Context-Dependence
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Graded monads and rings of polynomials
@@ Property / cites work: Graded monads and rings of polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank