On confluence for weakly normalizing systems (Q5055761): Difference between revisions

@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204024
@@ Property / cites work: Q3204024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205074
@@ Property / cites work: Q4205074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4027624
@@ Property / cites work: Q4027624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856127
@@ Property / cites work: Q3856127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique normal forms for lambda calculus with surjective pairing
+Normal rank
@@ Property / cites work @@
+The Church-Rosser theorem for the typed lambda-calculus with pairing pairing
+Normal rank