Combining algebraic rewriting, extensional lambda calculi, and fixpoints (Q1349901): Difference between revisions

@@ Property / cites work @@
+Q4281490
@@ Property / cites work: Q4281490 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Polymorphic rewriting conserves algebraic strong normalization
+Normal rank
@@ Property / cites work @@
+Polymorphic rewriting conserves algebraic confluence
+Normal rank
@@ Property / cites work @@
+Q4036571
@@ Property / cites work: Q4036571 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining first order algebraic rewriting systems, recursion and extensional lambda calculi
+Normal rank
@@ Property / cites work @@
+Simulating expansions without expansions
@@ Property / cites work: Simulating expansions without expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Some lambda calculi with categorical sums and products
+Normal rank
@@ Property / cites work @@
+The virtues of eta-expansion
@@ Property / cites work: The virtues of eta-expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537518
@@ Property / cites work: Q4537518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4145693
@@ Property / cites work: Q4145693 / rank @@
+Normal rank
@@ Property / cites work @@
+On the implementation of abstract data types by programming language constructs
+Normal rank
@@ Property / cites work @@
+Developing developments
@@ Property / cites work: Developing developments / rank @@
+Normal rank