Modules over relative monads for syntax and semantics (Q5741555): Difference between revisions

@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads Need Not Be Endofunctors
@@ Property / cites work: Monads Need Not Be Endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+Modules over Monads and Linearity
@@ Property / cites work: Modules over Monads and Linearity / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Systems and Free Constructions (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank