Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL (Q918956): Difference between revisions

@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / rank @@
+Normal rank
@@ Property / cites work @@
+Pairing Without Conventional Restraints
@@ Property / cites work: Pairing Without Conventional Restraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175528
@@ Property / cites work: Q4175528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541309
@@ Property / cites work: Q5541309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686017
@@ Property / cites work: Q5686017 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of termination of the rewriting system SUBSET on CCL
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+A new implementation technique for applicative languages
+Normal rank
@@ Property / cites work @@
+Church-Rosser theorem for a rewriting system on categorical combinators
+Normal rank