The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations (Q4916200): Difference between revisions

@@ Property / describes a project that uses @@
+Teyjus
@@ Property / describes a project that uses: Teyjus / rank @@
+Normal rank
@@ 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 @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+A λ-calculus with explicit weakening and explicit  substitution
+Normal rank
@@ Property / cites work @@
+Higher order unification via explicit substitutions
+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 @@
+A unification algorithm for typed \(\bar\lambda\)-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 @@
+Q4808747
@@ Property / cites work: Q4808747 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024846
@@ Property / cites work: Q3024846 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+A notation for lambda terms. A generalization of environments
+Normal rank