Explicit Substitutions à la de Bruijn (Q4924548): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+λν, a calculus of explicit substitutions which preserves strong normalisation
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization of substitutions
@@ Property / cites work: Strong normalization of substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of termination of the rewriting system SUBSET on CCL
+Normal rank
@@ Property / cites work @@
+A useful \(\lambda\)-notation
@@ Property / cites work: A useful \(\lambda\)-notation / rank @@
+Normal rank
@@ Property / cites work @@
+ON STEPWISE EXPLICIT SUBSTITUTION
@@ Property / cites work: ON STEPWISE EXPLICIT SUBSTITUTION / rank @@
+Normal rank
@@ Property / cites work @@
+Extending a λ-calculus with explicit substitution  which preserves strong normalisation into a confluent calculus on  open terms
+Normal rank
@@ Property / cites work @@
+Bridging de Bruijn indices and variable names in explicit substitutions calculi
+Normal rank
@@ Property / cites work @@
+Relating the   - and  s-styles of explicit substitutions
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank