Lambda calculus with explicit recursion (Q1383145): Difference between revisions

@@ Property / cites work @@
+Properties of a first-order functional language with sharing
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222771
@@ Property / cites work: Q4222771 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490748
@@ Property / cites work: Q4490748 / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction Systems I: The theory of optimal reductions
+Normal rank
@@ Property / cites work @@
+Relating graph and term rewriting via Böhm models
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+Q5287527
@@ Property / cites work: Q5287527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+REDEX CAPTURING IN TERM GRAPH REWRITING
@@ Property / cites work: REDEX CAPTURING IN TERM GRAPH REWRITING / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3685171
@@ Property / cites work: Q3685171 / rank @@
+Normal rank
@@ Property / cites work @@
+On ``On graph rewritings''
@@ Property / cites work: On ``On graph rewritings'' / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037323
@@ Property / cites work: Q4037323 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus
@@ Property / cites work: Infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite reductions in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+On graph rewritings
@@ Property / cites work: On graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit cyclic substitutions
@@ Property / cites work: Explicit cyclic substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank
@@ Property / cites work @@
+A new implementation technique for applicative languages
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank