Inductive-data-type systems (Q5958292): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281465
@@ Property / cites work: Q4281465 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of strong normalization in the   algebraic-λ-cube
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723890
@@ Property / cites work: Q2723890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938611
@@ Property / cites work: Q4938611 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Q4205074
@@ Property / cites work: Q4205074 / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic rewriting conserves algebraic strong normalization
+Normal rank
@@ Property / cites work @@
+Q3703866
@@ Property / cites work: Q3703866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5753923
@@ Property / cites work: Q5753923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610115
@@ Property / cites work: Q5610115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract data type systems
@@ Property / cites work: Abstract data type systems / 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 @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+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 @@
+A logic programming language with lambda-abstraction, function variables, and simple unification
+Normal rank
@@ Property / cites work @@
+Q4704206
@@ Property / cites work: Q4704206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229811
@@ Property / cites work: Q4229811 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear unification of higher-order patterns
@@ Property / cites work: Linear unification of higher-order patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Q4312490
@@ Property / cites work: Q4312490 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators, \(\lambda\)-terms and proof theory
@@ Property / cites work: Combinators, \(\lambda\)-terms and proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / Wikidata QID @@
+Q127972148
@@ Property / Wikidata QID: Q127972148 / rank @@
+Normal rank