Capture-avoiding substitution as a nominal algebra (Q939160): Difference between revisions

@@ Property / cites work @@
+Q4357055
@@ Property / cites work: Q4357055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Notion of Substitution
@@ Property / cites work: On the Notion of Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428296
@@ Property / cites work: Q4428296 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatization of polynomial substitution algebras
+Normal rank
@@ Property / cites work @@
+Nominal rewriting
@@ Property / cites work: Nominal rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871858
@@ Property / cites work: Q2871858 / rank @@
+Normal rank
@@ Property / cites work @@
+Capture-Avoiding Substitution as a Nominal Algebra
+Normal rank
@@ Property / cites work @@
+A Formal Calculus for Informal Equality with Binding
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+The Lattice of Lambda Theories
@@ Property / cites work: The Lattice of Lambda Theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Higher-order rewrite systems and their confluence
@@ Property / cites work: Higher-order rewrite systems and their confluence / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic models of lambda calculus
@@ Property / cites work: On the algebraic models of lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic generalization of Frege structures -- binding algebras
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank