Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203): 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 @@
+Unification via the  se-style of explicit substitutions
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+λν, a calculus of explicit substitutions which preserves strong normalisation
+Normal rank
@@ Property / cites work @@
+Q4357055
@@ Property / cites work: Q4357055 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence properties of weak and strong calculi of explicit substitutions
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order unification via explicit substitutions
+Normal rank
@@ Property / cites work @@
+λ-calculi with explicit substitutions and composition which preserve β-strong normalization
+Normal rank
@@ Property / cites work @@
+The λ<i>s</i><sub><i>e</i></sub>-calculus does not preserve strong normalisation
+Normal rank
@@ Property / cites work @@
+ON STEPWISE EXPLICIT SUBSTITUTION
@@ Property / cites work: ON STEPWISE EXPLICIT SUBSTITUTION / rank @@
+Normal rank
@@ Property / cites work @@
+A useful \(\lambda\)-notation
@@ Property / cites work: A useful \(\lambda\)-notation / rank @@
+Normal rank
@@ Property / cites work @@
+Functional runtime systems within the lambda-sigma calculus
+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 @@
+Relating the   - and  s-styles of explicit substitutions
+Normal rank
@@ Property / cites work @@
+Q4259970
@@ Property / cites work: Q4259970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259974
@@ Property / cites work: Q4259974 / rank @@
+Normal rank
@@ Property / cites work @@
+A notation for lambda terms. A generalization of environments
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Cut rules and explicit substitutions
@@ Property / cites work: Cut rules and explicit substitutions / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80542-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2158532214
@@ Property / OpenAlex ID: W2158532214 / rank @@
+Normal rank