Towards a notion of lambda monoid (Q280190): Difference between revisions

@@ Property / author @@
-J. M. E. Hyland
@@ Property / author: J. M. E. Hyland / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317893
@@ Property / Wikidata QID: Q113317893 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2014.02.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2005173090
@@ Property / OpenAlex ID: W2005173090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3164468
@@ Property / cites work: Q3164468 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Classical lambda calculus in modern dress
@@ Property / cites work: Classical lambda calculus in modern dress / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of a theory of algebraic theories
@@ Property / cites work: Elements of a theory of algebraic theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221959
@@ Property / cites work: Q3221959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156508
@@ Property / cites work: Q3156508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138869
@@ Property / cites work: Q3138869 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:280190