Modular properties of algebraic type systems (Q4645803): Difference between revisions

@@ Property / cites work @@
+Q4281465
@@ Property / cites work: Q4281465 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings
+Normal rank
@@ Property / cites work @@
+Polymorphic rewriting conserves algebraic strong normalization
+Normal rank
@@ Property / cites work @@
+Q4939698
@@ Property / cites work: Q4939698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296744
@@ Property / cites work: Q4296744 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular properties of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Confluence of the lambda calculus with left-linear algebraic rewriting
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4093416
@@ Property / cites work: Q4093416 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank