Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913): Difference between revisions

@@ Property / DOI @@
-.1007/s10990-006-0479-z
@@ Property / DOI: 10.1007/s10990-006-0479-z / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10990-006-0479-z
+Normal rank
@@ Property / OpenAlex ID @@
+W1965702337
@@ Property / OpenAlex ID: W1965702337 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of strong normalization in the   algebraic-λ-cube
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Pure patterns type systems
@@ Property / cites work: Pure patterns type systems / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+A \(\rho\)-calculus of explicit constraint application
+Normal rank
@@ Property / cites work @@
+The rewriting calculus - part II
@@ Property / cites work: The rewriting calculus - part II / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778872
@@ Property / cites work: Q2778872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769430
@@ Property / cites work: Q2769430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851046
@@ Property / cites work: Q2851046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808738
@@ Property / cites work: Q4808738 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Abstract data type systems
@@ Property / cites work: Abstract data type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3356291
@@ Property / cites work: Q3356291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Q3751042
@@ Property / cites work: Q3751042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281481
@@ Property / cites work: Q4281481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524793
@@ Property / cites work: Q4524793 / rank @@
+Normal rank
@@ Property / cites work @@
+The Clausal Theory of Types
@@ Property / cites work: The Clausal Theory of Types / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10990-006-0479-Z
@@ Property / DOI: 10.1007/S10990-006-0479-Z / rank @@
+Normal rank