Order-sorted inductive types (Q1286367): Difference between revisions

@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping dependent types
@@ Property / cites work: Subtyping dependent types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3840769
@@ Property / cites work: Q3840769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474829
@@ Property / cites work: Q4474829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4390744
@@ Property / cites work: Q4390744 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive families
@@ Property / cites work: Inductive families / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393449
@@ Property / cites work: Q4393449 / rank @@
+Normal rank
@@ Property / cites work @@
+An Oxford survey of order sorted algebra
@@ Property / cites work: An Oxford survey of order sorted algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3737481
@@ Property / cites work: Q3737481 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4390746
@@ Property / cites work: Q4390746 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Generator induction in order sorted algebras
@@ Property / cites work: Generator induction in order sorted algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order subtyping
@@ Property / cites work: Higher-order subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Simple type-theoretic foundations for object-oriented programming
+Normal rank