Nominal rewriting (Q2373703): Difference between revisions

@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of strong normalization in the   algebraic-λ-cube
+Normal rank
@@ Property / cites work @@
+Intersection type assignment systems with higher-order algebraic rewriting
+Normal rank
@@ Property / cites work @@
+Pairing Without Conventional Restraints
@@ Property / cites work: Pairing Without Conventional Restraints / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Q2778870
@@ Property / cites work: Q2778870 / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic rewriting conserves algebraic strong normalization
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The rewriting calculus - part I
@@ Property / cites work: The rewriting calculus - part I / rank @@
+Normal rank
@@ Property / cites work @@
+The rewriting calculus - part II
@@ Property / cites work: The rewriting calculus - part II / rank @@
+Normal rank
@@ Property / cites work @@
+A λ-calculus with explicit weakening and explicit  substitution
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding algebraic rewriting to the untyped lambda calculus
+Normal rank
@@ Property / cites work @@
+Curry-Style Types for Nominal Terms
@@ Property / cites work: Curry-Style Types for Nominal Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Closed reduction: explicit substitutions without                       $\alpha$                   -conversion
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q4222804
@@ Property / cites work: Q4222804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3356291
@@ Property / cites work: Q3356291 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+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 theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+FreshML
@@ Property / cites work: FreshML / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281488
@@ Property / cites work: Q4281488 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank