On explicit substitution with names (Q2392486): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-011-9222-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2085041284
@@ Property / OpenAlex ID: W2085041284 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+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 @@
+λν, a calculus of explicit substitutions which preserves strong normalisation
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4357055
@@ Property / cites work: Q4357055 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitution. On the edge of strong normalization
+Normal rank
@@ Property / cites work @@
+Q2723891
@@ Property / cites work: Q2723891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract framework for environment machines
@@ Property / cites work: An abstract framework for environment machines / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence properties of weak and strong calculi of explicit substitutions
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+A λ-calculus with explicit weakening and explicit  substitution
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets and explicit substitutions
@@ Property / cites work: Proof nets and explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal rewriting
@@ Property / cites work: Nominal rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945227
@@ Property / cites work: Q4945227 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda-calculus with director strings
@@ Property / cites work: Lambda-calculus with director strings / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL
+Normal rank
@@ Property / cites work @@
+ON STEPWISE EXPLICIT SUBSTITUTION
@@ Property / cites work: ON STEPWISE EXPLICIT SUBSTITUTION / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
+Normal rank
@@ Property / cites work @@
+The Theory of Calculi with Explicit Substitutions Revisited
+Normal rank
@@ Property / cites work @@
+A Theory of Explicit Substitutions with Safe and Full Composition
+Normal rank
@@ Property / cites work @@
+Resource operators for \(\lambda\)-calculus
@@ Property / cites work: Resource operators for \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783516
@@ Property / cites work: Q3783516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024846
@@ Property / cites work: Q3024846 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for the Theory of Lambda-Conversion
@@ Property / cites work: Axioms for the Theory of Lambda-Conversion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263879
@@ Property / cites work: Q4263879 / rank @@
+Normal rank
@@ Property / cites work @@
+On explicit substitutions and names (extended abstract)
+Normal rank
@@ Property / cites work @@
+Q4380997
@@ Property / cites work: Q4380997 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Delayed Substitutions
@@ Property / cites work: Delayed Substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal techniques in Isabelle/HOL
@@ Property / cites work: Nominal techniques in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting System for Categorical Combinators with Multiple Arguments
+Normal rank