The variable containment problem (Q4645807): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Introduction to generalized type systems
@@ Property / cites work: Introduction to generalized type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Third order matching is decidable
@@ Property / cites work: Third order matching is decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282512
@@ Property / cites work: Q4282512 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Proving and applying program transformations expressed with second-order patterns
+Normal rank
@@ Property / cites work @@
+Q4281476
@@ Property / cites work: Q4281476 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a domain theory for termination proofs
@@ Property / cites work: Towards a domain theory for termination proofs / 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 @@
+Q4428885
@@ Property / cites work: Q4428885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order rewrite systems and their confluence
@@ Property / cites work: Higher-order rewrite systems and their confluence / rank @@
+Normal rank
@@ Property / cites work @@
+Modular aspects of properties of term rewriting systems related to normal forms
+Normal rank
@@ Property / cites work @@
+Q3024847
@@ Property / cites work: Q3024847 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024848
@@ Property / cites work: Q3024848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138547
@@ Property / cites work: Q3138547 / rank @@
+Normal rank