Hard combinators (Q2870311): 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.2008.03.032
+Normal rank
@@ Property / OpenAlex ID @@
+W2914778701
@@ Property / OpenAlex ID: W2914778701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438773
@@ Property / cites work: Q4438773 / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction combinators
@@ Property / cites work: Interaction combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding left reduction in the λ-calculus with interaction nets
+Normal rank
@@ Property / cites work @@
+Q4808763
@@ Property / cites work: Q4808763 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard combinators
@@ Property / cites work: Hard combinators / rank @@
+Normal rank
@@ Property / cites work @@
+YALE
@@ Property / cites work: YALE / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank