SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.16.119-150
+Normal rank
@@ Property / OpenAlex ID @@
+W1997707012
@@ Property / OpenAlex ID: W1997707012 / 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 @@
+Comparing and implementing calculi of explicit substitutions with eta-reduction
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Higher order unification via explicit substitutions
+Normal rank
@@ Property / cites work @@
+Closed reduction: explicit substitutions without                       $\alpha$                   -conversion
+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 @@
+Q4885994
@@ Property / cites work: Q4885994 / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of Böhm's theorem
@@ Property / cites work: An analysis of Böhm's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A useful \(\lambda\)-notation
@@ Property / cites work: A useful \(\lambda\)-notation / 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 @@
+Relating the   - and  s-styles of explicit substitutions
+Normal rank
@@ Property / cites work @@
+Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
+Normal rank
@@ Property / cites work @@
+Choices in representation and reduction strategies for lambda terms in intensional contexts
+Normal rank
@@ Property / cites work @@
+A notation for lambda terms. A generalization of environments
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank