Lambda calculus with patterns (Q930865): Difference between revisions

@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038704
@@ Property / cites work: Q4038704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778872
@@ Property / cites work: Q2778872 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure patterns type systems
@@ Property / cites work: Pure patterns type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Defining Logical Frameworks
@@ Property / cites work: A Framework for Defining Logical Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+The Rewriting Calculus as a Combinatory Reduction System
+Normal rank
@@ Property / cites work @@
+Term-rewriting systems with rule priorities
@@ Property / cites work: Term-rewriting systems with rule priorities / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional linearization
@@ Property / cites work: Conditional linearization / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Unique normal form property of Higher-Order Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+Q4222804
@@ Property / cites work: Q4222804 / rank @@
+Normal rank